turn off wextoolbox temporarily
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 06:45:06 +0000 (08:45 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 06:45:06 +0000 (08:45 +0200)
scripts/builds.sh

index 1ea847b..78044e5 100755 (executable)
@@ -29,6 +29,7 @@ velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d onelab -f centos5
 #velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d onelab -f centos5 -p linux64 -b @DATE@--k22-c55-64 -B
 
 # wextoolbox variants
+### turning this off during vacations
 liquid && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d wextoolbox -p linux32 -f f12 -b @DATE@--wtx-f12-32
 
 ########################################