From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 18 Jul 2011 15:39:46 +0000 (+0200)
Subject: Quick hack in run-all: compress output files.
X-Git-Tag: v0.1~32
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/6640d690ebdafa3ee2c38d48b791458ffda10984

Quick hack in run-all: compress output files.
---

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