X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/cc2efce6e209e604edfe461f95ac0ebf2e080ce3..6640d690ebdafa3ee2c38d48b791458ffda10984:/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