From bd0d55b6e8fb8c48072740d52c09af1f0b043f2f Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 30 Jun 2011 18:02:53 +0200
Subject: [PATCH 1/1] run-all: improve summary during run.

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

diff --git a/Experimentations/run-all b/Experimentations/run-all
index bf282cc..5584528 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -79,6 +79,12 @@ outfile() {
     echo "$*" | sed 's,[^ ]*/,,g;s/\.xml//;y/ /_/'
 }
 
+summary() {
+    sed -n '\!^\[main/INFO\] ,----\[ Results \]!,${
+      /send\|recv\|wall clock\|Simulation succeeded/d;p;
+    }' "$1"
+}
+
 for plat in "${PLATFORMS[@]}"; do
     tmp=$(basename "$plat" ".xml")
     plat_output="$RESULTS/plat_$tmp"
@@ -102,7 +108,7 @@ for plat in "${PLATFORMS[@]}"; do
                 log "Run: ${cmd[@]}"$'\n'"... &> $out"
                 if [ $overwrite = 0 -a -e "$out" ]; then
                     log "already run !"
-                    tail -n4 "$out"
+                    summary "$out"
                     continue
                 fi
                 if [ $debug = 1 ]; then
@@ -110,7 +116,7 @@ for plat in "${PLATFORMS[@]}"; do
                 else
                     echo "# ${cmd[@]}" > "$out"
                     "${cmd[@]}" >> "$out" 2>&1
-                    tail -n4 "$out"
+                    summary "$out"
                 fi
             done
         done
-- 
2.39.5