comparison 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
comparison
equal deleted inserted replaced
1029:1139aa0eb0c2 1030:70e1ff83fe34
83 while read filename 83 while read filename
84 do 84 do
85 name=`basename $filename .abc` 85 name=`basename $filename .abc`
86 tunedir=$basetunedir/$name 86 tunedir=$basetunedir/$name
87 87
88 # Already generated?
89 if [ -f $tunedir/${name}.mp3 ]; then
90 continue
91 fi
92
93 mkdir -p $tunedir 88 mkdir -p $tunedir
94 89
95 makeaudiofiles $filename $tunedir 90 makeaudiofiles $filename $tunedir
96 91
97 # Now make 1/4, 1/2 and 3/4 speed audio. 92 # Now make 1/4, 1/2 and 3/4 speed audio.