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

Compression can always be fine tuned after

diff --git a/win32/makedist/makedist.midori b/win32/makedist/makedist.midori
index d842a85ef588bd6c7be5d21217b0bb95393956ae..fed5d836944df5ff80df0f4b4d881b567e01afef 100755 (executable)
--- a/win32/makedist/makedist.midori
+++ b/win32/makedist/makedist.midori
@@ -130,7 +130,7 @@ ARCHIVE=`pwd`/$ARCHIVE
 # store as zip/7z file
 pushd $temp_dir > /dev/null
 if [ "$have_7zip" != "" ]; then
-    7za a -m0=lzma -mx=9 $ARCHIVE midori$1
+    7za a -m0=lzma $ARCHIVE midori$1
 else
     zip -rq $ARCHIVE midori$1
 fi