Shorter

diff --git a/build.sh b/build.sh
index 9fa0c8eaeafb98341fdd8d19078e76fff7a5dc39..a823611427e4cd50650dfaf8fe0ef7922e1eaf50 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -627,7 +627,7 @@ copy_fresh_image() {
 }
 
 check_launch_factor() {
-    ./$FACTOR_BINARY "-e=USE: system 0 exit"
+    ./$FACTOR_BINARY -e=
     check_ret "Could not launch ./$FACTOR_BINARY"
 }