X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/7b62c7947835062683a092b95e52ca2a560a14e8..cd83815d1aaa00919c7f972eeba5be8ceb2a9f18:/Experimentations/run-all?ds=inline diff --git a/Experimentations/run-all b/Experimentations/run-all index 60bfa07..d423b4d 100755 --- a/Experimentations/run-all +++ b/Experimentations/run-all @@ -108,7 +108,9 @@ for plat in "${PLATFORMS[@]}"; do log "skipped (dry-run)" else echo "# ${cmd[@]}" > "$out" - "${cmd[@]}" >> "$out" 2>&1 + out2="/tmp/tmp_loba.o" + "${cmd[@]}" > "$out2" 2>&1 + tail -17 "$out2" >> "$out" tail -n4 "$out" fi done