X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/c0eaeb249c8fd246f3a56f18f61e417c277f43c1..56e2fc5d6a94e563f13a352d73d225f0889a8437:/Experimentations/run-all?ds=sidebyside

diff --git a/Experimentations/run-all b/Experimentations/run-all
index c711550..5b80fbf 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -74,7 +74,10 @@ COMMON_OPTS=(
     "${MORE_ARGS[@]}"
 )
 
-test -x "$LOBA" || die "command not found: \"$LOBA\""
+test -f "$LOBA" && test -x "$LOBA" || die "command not found: \"$LOBA\""
+for plat in "${PLATFORMS[@]}"; do
+    test -f "$plat" && test -r "$plat" || die "file not found: \"$plat\""
+done
 
 log "Results put in: \"$RESULTS\"."