X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/76b2a4bbaa94b3a5469a6d2443c8d4da9b4dd28b..8e7e07c4c17ab67ab3fd485d48b163705909ac63:/Experimentations/run-all?ds=sidebyside

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 638c0a5..6d556ec 100755
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -120,6 +120,8 @@ for plat in "${PLATFORMS[@]}"; do
                     else
                         grep -v '/INFO\]' "$out"
                     fi
+### FIXME : make this step optional
+gzip --best "$out"
                 fi
             done
         done