make f20 and f21 first class citizens and f14 f18 the second roles
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 2 Jan 2015 10:34:57 +0000 (11:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 2 Jan 2015 10:34:57 +0000 (11:34 +0100)
scripts/builds.sh

index 424e3f1..77f7237 100755 (executable)
@@ -20,14 +20,12 @@ function reed () { hostname | grep -q reed ; }
 function velvet () { hostname | grep -q velvet ; }
 
 ### have each box run one main distro build 
-liquid && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14 -d onelab
-reed   && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18
-# velvet is down
-[ -n "$SINGLE" ] && exit
 liquid && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21
 reed   && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20
-
+# velvet is down
 [ -n "$SINGLE" ] && exit
+liquid && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14 -d onelab
+reed   && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18
 
 ### sfa from branch
 # velvet is down