# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1582116304 0
# Node ID c9d57876e2498a22c54f057b750bcad29f7bd911
# Parent  59fc5829ece34ecb8330797d5e9a9ed580de1ee0
Try and make audio generation less chatty.

diff -r 59fc5829ece3 -r c9d57876e249 makeWebAudio.sh
--- a/makeWebAudio.sh	Wed Feb 19 12:44:52 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 12:45:04 2020 +0000
@@ -24,10 +24,10 @@
     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