X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=modules.update;h=c8a3dda806b1cc4595c4d0d0c2931b0c1096ed8e;hb=c1e2ea74e8245beb380ac64a12d8aa50ae9b8b19;hp=e6e74c0fcadc2f9cbd3e0be4f6f03e99ca6a8758;hpb=4430aa45be7ff0cb584f0f403f670a4aef0d40b8;p=build.git

diff --git a/modules.update b/modules.update
index e6e74c0f..c8a3dda8 100755
--- a/modules.update
+++ b/modules.update
@@ -9,7 +9,8 @@ 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 ;
   echo tests