X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/8185d5cdd5d8fd1b4c78888a6add91b93f0cfcc0..404368d69d4124f827b3eae4f231ee61191c65fe:/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\"."