run f14-32 in dual mode
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 20 Jun 2012 13:01:48 +0000 (15:01 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 20 Jun 2012 13:01:48 +0000 (15:01 +0200)
scripts/builds.sh

index 771ee39..f9d8d91 100755 (executable)
@@ -31,8 +31,8 @@ reed && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k32-t
 
 # f14 
 velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k32-tags.mk -f f14 -p linux64 -b @DATE@--f14-64 
-# f14-32 has sfadebug enabled (loglevel=debug)
-velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k32-tags.mk -f f14 -p linux32 -b @DATE@--f14-32 -c default -c sfadebug 
+# f14-32 has sfadebug enabled (loglevel=debug) and runs in dual mode
+velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k32-tags.mk -f f14 -p linux32 -b @DATE@--f14-32 -c default -c sfadebug -c dual
 # this one is configured to run sfa in standalone mode, using flavour=void and a limited set of test steps
 velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k32-tags.mk -f f14 -p linux32 -b @DATE@--f14-32-sfastd1 -c default -c sfadebug -c sfavoid -x sfa-standalone