release: 0.1.32

[lilypond.git] / bin / make-patch.py

diff --git a/bin/make-patch.py b/bin/make-patch.py
index 32ae99ae3ba573523898a7514ec3d464a3f23310..30e870f16cd6a42302a51ad76d14f59b4c7b8796 100644 (file)
--- a/bin/make-patch.py
+++ b/bin/make-patch.py
@@ -33,7 +33,7 @@ def untar(fn):
 #   os.system ('tar xzf ' + fn)
 #   sys.stderr.write('\n')
 # ugh, even this does not work, but one error message less :-)
-    os.system ('gzip -dc ' + fn + '| tar xf - ')
+    os.system ('gzip --quiet -dc ' + fn + '| tar xf - ')
 # so print soothing message:
     sys.stderr.write('make-patch:ugh: Please ignore error: gzip: stdout: Broken pipe\n');
     sys.stderr.flush()