turn off 18-bbox21 that is known to be broken
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Mar 2015 14:20:55 +0000 (15:20 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Mar 2015 14:20:55 +0000 (15:20 +0100)
scripts/builds.sh

index f3b1af0..7e7d062 100755 (executable)
@@ -19,27 +19,27 @@ function liquid () { hostname | grep -q liquid ; }
 function reed () { hostname | grep -q reed ; }
 function buzzcocks () { hostname | grep -q buzzcocks ; }
 
-buzzcocks && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14-bbox21 -d onelab &
+buzzcocks && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21-bbox21 &
+
 # cannot build this one from within buzzcocks yet
 reed      && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18
 
 [ -n "$SINGLE" ] && exit
 
-# the one in buzzcocks is fine
-#liquid    && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14 -d onelab
+buzzcocks && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20-bbox21 &
 
 buzzcocks && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21-nois -c default -c no_initscript &
 buzzcocks && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20-nois -c default -c no_initscript &
 
-# we need to know how the new f21 build behaves; not too good for now unfortunately
-buzzcocks && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18-bbox21 &
-buzzcocks && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20-bbox21 &
-buzzcocks && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21-bbox21 &
+# cannot build this one from within buzzcocks yet
+# buzzcocks && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18-bbox21 &
+buzzcocks && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14-bbox21 -d onelab &
 
 exit
 
 ########## oldies
 
+#liquid    && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14 -d onelab
 #liquid    && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21
 #reed      && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20