run-all: check executable.

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 95d70b1ec8d0f955540455c66392a06a07a2c5ee..a764c88121dbfe267958f9da92894c08d270fbc2 100755 (executable)
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -73,6 +73,8 @@ COMMON_OPTS=(
     "${MORE_ARGS[@]}"
 )
 
     "${MORE_ARGS[@]}"
 )
 

+test -x "$LOBA" || die "command not found: \"$LOBA\""
+

 log "Results put in: \"$RESULTS\"."
 
 [ $debug = 1 ] && log "Running in dry-run mode"
 log "Results put in: \"$RESULTS\"."
 
 [ $debug = 1 ] && log "Running in dry-run mode"