run-all: fix usage message.

[loba.git] / Experimentations / run-all

diff --git a/Experimentations/run-all b/Experimentations/run-all
index d423b4d15d29aab2c6aae739e7e769a65a280aa6..350f05f9d712af83d6a344999d4babcaee7954f3 100755 (executable)
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -5,7 +5,7 @@ set -e
 
 usage() {
     cat >&2 <<EOF
-Usage: $0 [-c] <parameters file>
+Usage: $0 [OPTION] <parameters file>
 Options:
     -h  print this help
     -n  dry-run mode (for debugging)
@@ -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