remove the -bbox21 suffix
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 08:43:06 +0000 (09:43 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 08:43:06 +0000 (09:43 +0100)
scripts/builds.sh

index 7e7d062..ab4d1d9 100755 (executable)
@@ -19,21 +19,21 @@ 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 f21 -b @DATE@--f21-bbox21 &
+buzzcocks && /root/bin/lbuild-nightly.sh -f f21 -b @DATE@--f21 &
 
 # cannot build this one from within buzzcocks yet
-reed      && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18
+reed      && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18 &
 
 [ -n "$SINGLE" ] && exit
 
-buzzcocks && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20-bbox21 &
+buzzcocks && /root/bin/lbuild-nightly.sh -f f20 -b @DATE@--f20 &
 
 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 &
 
 # 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 &
+# buzzcocks && /root/bin/lbuild-nightly.sh -f f18 -b @DATE@--f18 &
+buzzcocks && /root/bin/lbuild-nightly.sh -f f14 -b @DATE@--f14 -d onelab &
 
 exit