Don't use max compression in makedist script, it takes too much time

Compression can always be fine tuned after
This commit is contained in:
Paweł Forysiuk 2012-02-07 16:59:50 +01:00 committed by Christian Dywan
parent 5bb1c5025f
commit 93b352aa34

View file

@ -130,7 +130,7 @@ ARCHIVE=`pwd`/$ARCHIVE
# store as zip/7z file # store as zip/7z file
pushd $temp_dir > /dev/null pushd $temp_dir > /dev/null
if [ "$have_7zip" != "" ]; then if [ "$have_7zip" != "" ]; then
7za a -m0=lzma -mx=9 $ARCHIVE midori$1 7za a -m0=lzma $ARCHIVE midori$1
else else
zip -rq $ARCHIVE midori$1 zip -rq $ARCHIVE midori$1
fi fi