From df956a08ede695fb019e5581c25b47a83c8109a7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 7 Mar 2012 12:07:36 +0100
Subject: [PATCH 1/1] run-all: check executable.

---
 Experimentations/run-all | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 95d70b1..a764c88 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -73,6 +73,8 @@ COMMON_OPTS=(
     "${MORE_ARGS[@]}"
 )
 
+test -x "$LOBA" || die "command not found: \"$LOBA\""
+
 log "Results put in: \"$RESULTS\"."
 
 [ $debug = 1 ] && log "Running in dry-run mode"
-- 
2.39.5