From: Thierry Parmentelat Date: Tue, 1 Feb 2011 16:22:55 +0000 (+0100) Subject: new name for tags X-Git-Tag: 5.0-rc18~13 X-Git-Url: http://git.onelab.eu/?p=build.git;a=commitdiff_plain;h=73498685917e5156a30f59d8104a8b9496feedcc new name for tags --- diff --git a/modules.update b/modules.update index 12ebce31..af05d62d 100755 --- a/modules.update +++ b/modules.update @@ -11,7 +11,7 @@ fcdistros="centos5 f12" make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-tags.mk DISTRONAME=${fcdistro} module-tools ; make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ; make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ; - make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-tags.mk DISTRONAME=${fcdistro} module-tools ; + make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k22-tags.mk DISTRONAME=${fcdistro} module-tools ; make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ; make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ; done 2>/dev/null ;