From 76b2a4bbaa94b3a5469a6d2443c8d4da9b4dd28b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 13 Jul 2011 18:29:05 +0200
Subject: [PATCH] run-all: report error messages on failure.

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

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 5584528..638c0a5 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -115,8 +115,11 @@ for plat in "${PLATFORMS[@]}"; do
                     log "skipped (dry-run)"
                 else
                     echo "# ${cmd[@]}" > "$out"
-                    "${cmd[@]}" >> "$out" 2>&1
-                    summary "$out"
+                    if "${cmd[@]}" >> "$out" 2>&1; then
+                        summary "$out"
+                    else
+                        grep -v '/INFO\]' "$out"
+                    fi
                 fi
             done
         done
-- 
2.39.5