changeset 1037:5bd2c1f0833e

Remove debug line.
author Jim Hague <jim.hague@acm.org>
date Wed, 19 Feb 2020 13:33:40 +0000
parents 2fdef04bd133
children ee9efd99260a
files makeWebAudio.sh
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/makeWebAudio.sh	Wed Feb 19 13:33:23 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 13:33:40 2020 +0000
@@ -69,7 +69,6 @@
     fi
     # Calculate new tempo.
     newtempo=$(( ( $numtempo * $4 ) / $5 ))
-    echo "Old tempo $tempo new tempo ${notelenprefix}${newtempo}"
     # Insert new tempo and delete old. Old may not exist,
     # so do this rather than overwrite.
     sed -e "/^Q:/d" -e "/^K:/a\\