run-all: check executable.

[loba.git] / Experimentations / run-all

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 581ee1f811b5d11941e9fe34cb6ffbb6d88cd95b..a764c88121dbfe267958f9da92894c08d270fbc2 100755 (executable)
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -70,10 +70,11 @@ variable_check DEADLINE
 : ${LOBA:=$PWD/loba}
 
 COMMON_OPTS=(
-    --cfg=contexts/factory:raw
     "${MORE_ARGS[@]}"
 )
 
+test -x "$LOBA" || die "command not found: \"$LOBA\""
+
 log "Results put in: \"$RESULTS\"."
 
 [ $debug = 1 ] && log "Running in dry-run mode"