From ba866c571620168bc4c6a63933dbfaeb280de311 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Wed, 19 Feb 2020 12:45:04 +0000
Subject: [PATCH] Try and make audio generation less chatty.

---
 makeWebAudio.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/makeWebAudio.sh b/makeWebAudio.sh
index 8a478d8..3a36400 100755
--- a/makeWebAudio.sh
+++ b/makeWebAudio.sh
@@ -24,10 +24,10 @@ makeaudiofiles()
     name=`basename $1 .abc`
     tunedir="$2"
 
-    abc2midi $1 -o $tunedir/${name}.tmp.mid
+    abc2midi $1 -o $tunedir/${name}.tmp.mid -silent
     mv $tunedir/${name}.tmp.mid $tunedir/${name}.mid
-    timidity -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid
-    lame -m m -V 9 --quiet $tunedir/${name}.wav $tunedir/${name}.tmp.mp3
+    timidity --quiet -OwM $3 -o $tunedir/${name}.wav $tunedir/${name}.mid
+    lame -m m -V 9 --silent $tunedir/${name}.wav $tunedir/${name}.tmp.mp3
     mv $tunedir/${name}.tmp.mp3 $tunedir/${name}.mp3
     # Timidity can generate OGG directly. But we need to generate WAV
     # for lame, and oggenc produces smaller output. OGG is needed for