From 074ab9e7fe86f3d79a35a06e2842cada2b462496 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 31 Aug 2012 16:04:28 +0200
Subject: [PATCH] renamed onelab-k32-tags.mk into simply onelab-tags.mk

---
 modules.update                       | 2 +-
 onelab-k32-tags.mk => onelab-tags.mk | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename onelab-k32-tags.mk => onelab-tags.mk (100%)

diff --git a/modules.update b/modules.update
index 9e036ab2..c8a3dda8 100755
--- a/modules.update
+++ b/modules.update
@@ -9,7 +9,7 @@ fcdistros="f14 f16"
 
 ( for fcdistro in $fcdistros; do 
     make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ;
-    make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ;
+    make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-tags.mk DISTRONAME=${fcdistro} module-tools ;
     make stage1=true PLDISTRO=mlab PLDISTROTAGS=mlab-tags.mk DISTRONAME=${fcdistro} module-tools ;
     make stage1=true PLDISTRO=lxc PLDISTROTAGS=lxc-tags.mk DISTRONAME=${fcdistro} module-tools ;
   done 2>/dev/null ;
diff --git a/onelab-k32-tags.mk b/onelab-tags.mk
similarity index 100%
rename from onelab-k32-tags.mk
rename to onelab-tags.mk
-- 
2.47.0