redirect

diff --git a/scripts/builds.sh b/scripts/builds.sh
index 736d770..e2b4708 100755 (executable)
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # tentatively trash all qemu instances as the pool is broken with threesome tests
-manage-infrastructure.py -qrs
+manage-infrastructure.py -qrs >& /dev/null
 
 function liquid () { hostname | grep -q liquid ; }
 function reed () { hostname | grep -q reed ; }