From 2adcc869539a423fffe2592f3819d85f6449356f Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 20 Jun 2011 16:26:53 +0200
Subject: [PATCH 1/1] Fix run-all script broken by commits cd83815d1a and
 d3914e4821.

---
 Experimentations/run-all | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 9453bc3..60bfa07 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -108,7 +108,7 @@ for plat in "${PLATFORMS[@]}"; do
                     log "skipped (dry-run)"
                 else
                     echo "# ${cmd[@]}" > "$out"
-                    "${cmd[@]}" > "$out" 2>&1
+                    "${cmd[@]}" >> "$out" 2>&1
                     tail -n4 "$out"
                 fi
             done
-- 
2.39.5