X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/bd0d55b6e8fb8c48072740d52c09af1f0b043f2f..6640d690ebdafa3ee2c38d48b791458ffda10984:/Experimentations/run-all

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 5584528..6d556ec 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -115,8 +115,13 @@ for plat in "${PLATFORMS[@]}"; do
                     log "skipped (dry-run)"
                 else
                     echo "# ${cmd[@]}" > "$out"
-                    "${cmd[@]}" >> "$out" 2>&1
-                    summary "$out"
+                    if "${cmd[@]}" >> "$out" 2>&1; then
+                        summary "$out"
+                    else
+                        grep -v '/INFO\]' "$out"
+                    fi
+### FIXME : make this step optional
+gzip --best "$out"
                 fi
             done
         done