manage-infrastructure -qrs

diff --git a/scripts/builds.sh b/scripts/builds.sh
index c93d0b2..cf9d3c8 100755 (executable)
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# tentatively trash all qemu instances as the pool is broken with threesome tests
+manage-infrastructure.py -qrs
+
 function liquid () { hostname | grep -q liquid ; }
 function reed () { hostname | grep -q reed ; }
 function velvet () { hostname | grep -q velvet ; }
@@ -57,4 +60,3 @@ velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d onelab -t onelab-k
 #velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d onelab -t onelab-k22-tags.mk -f f10 -p linux32 -b @DATE@--k22-f10-32 -B
 #velvet && /root/bin/vbuild-nightly.sh -m build@onelab.eu   -d onelab -t onelab-k22-tags.mk -f f10 -p linux64 -b @DATE@--k22-f10-64 -B
 #
-