build f12 in 32 bits so we have at least one such build

diff --git a/scripts/builds.sh b/scripts/builds.sh
index 5b5e91a..f41352b 100755 (executable)
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -16,7 +16,7 @@ function velvet () { hostname | grep -q velvet ; }
 
 ### 
 liquid && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d lxc    -f f18 -p linux64 -b @DATE@--lxc18
-liquid && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -f f12 -p linux64 -b @DATE@--f12-64
+liquid && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -f f12 -p linux32 -b @DATE@--f12-32
 
 reed   && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -f f14 -p linux64 -b @DATE@--f14-64