From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 7 Mar 2012 11:22:46 +0000 (+0100)
Subject: run-all: check existence of platform files.
X-Git-Tag: exp_20120308~2
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/56e2fc5d6a94e563f13a352d73d225f0889a8437?ds=inline

run-all: check existence of platform files.
---

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\"."