Intégration de la branche ptools

2015-04-13 15:40:20 +04:00 · 2015-04-13 15:40:20 +04:00 · 073e7b08d9
parent 48d910440e 8f6a32be53
commit 073e7b08d9
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -61,4 +61,6 @@ fi
 estep "Création de $(ppath "$dest")"
 git archive -o "$dest" --prefix="$name${version:+-$version}/" HEAD || die
 [ -n "$gzip" ] || exit 0
-gzip "$dest"
+
+estep "Compression de l'archive"
+gzip -f "$dest"