tune build names

diff --git a/scripts/all-builds.sh b/scripts/all-builds.sh
index d45ac24..2118555 100755 (executable)
--- a/scripts/all-builds.sh
+++ b/scripts/all-builds.sh
@@ -9,7 +9,7 @@ for d in onelab planetlab ; do
            /root/bin/vbuild-nightly.sh -m onelab-build@one-lab.org \
                -f $f -p $p -d $d \
                -t ${d}-tags-4.2.mk \
-               -b @DATE@-4.2--${d}-${f}-${bits} 
+               -b @DATE@--${d}.4.2--${f}-${bits} 
        done
     done
 done
@@ -21,7 +21,7 @@ for d in onelab ; do
        /root/bin/vbuild-nightly.sh -m onelab-build@one-lab.org \
            -f centos5 -p $p -d $d \
            -t ${d}-tags-4.2.mk \
-           -b @DATE@-4.2--${d}-c5vs${bits} \
+           -b @DATE@--${d}.4.2--c5vs-${bits} \
            -B vserver 
     done
 done