From d3914e4821cb9a186ec4c0a01d052fa5bcf48c9c Mon Sep 17 00:00:00 2001
From: Aberrahmane Sider <ar.sider@univ-bejaia.dz>
Date: Thu, 26 May 2011 14:19:39 +0100
Subject: [PATCH 1/1] Reverted run-all to original

---
 Experimentations/run-all | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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