diff makeWebAudio.sh @ 1030:70e1ff83fe34

Remove the 'already generated' checks. Let's make sure all content gets generated. I really, really need to do a proper build system for this lot.
author Jim Hague <jim.hague@acm.org>
date Wed, 19 Feb 2020 10:48:56 +0000
parents 1139aa0eb0c2
children 18f0e45207ef
line wrap: on
line diff
--- a/makeWebAudio.sh	Wed Feb 19 10:33:55 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 10:48:56 2020 +0000
@@ -85,11 +85,6 @@
         name=`basename $filename .abc`
         tunedir=$basetunedir/$name
 
-        # Already generated?
-        if [ -f $tunedir/${name}.mp3 ]; then
-            continue
-        fi
-
         mkdir -p $tunedir
 
         makeaudiofiles $filename $tunedir