renamed onelab-k32-tags.mk into simply onelab-tags.mk

diff --git a/modules.update b/modules.update
index 9e036ab..c8a3dda 100755 (executable)
--- 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