X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/bd0d55b6e8fb8c48072740d52c09af1f0b043f2f..76b2a4bbaa94b3a5469a6d2443c8d4da9b4dd28b:/Experimentations/run-all?ds=inline diff --git a/Experimentations/run-all b/Experimentations/run-all index 5584528..638c0a5 100755 --- a/Experimentations/run-all +++ b/Experimentations/run-all @@ -115,8 +115,11 @@ 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 fi done done