X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/80a1fe1a200a4309c36598571b1f4ccb76a8788f..cd83815d1aaa00919c7f972eeba5be8ceb2a9f18:/Experimentations/run-all?ds=sidebyside

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