From 56e2fc5d6a94e563f13a352d73d225f0889a8437 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 7 Mar 2012 12:22:46 +0100
Subject: [PATCH] run-all: check existence of platform files.

---
 Experimentations/run-all | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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