changeset 753:b83b49f2a0a0

Correct Mac-ism. find -maxdepth n, not find -depth n.
author Jim Hague <jim.hague@acm.org>
date Fri, 13 Oct 2017 17:19:06 +0100
parents 9a6c27f6d13d
children 7d975b619963
files makeBookeTunePages.sh makeGraphics.sh makeWeb.sh makeWebAudio.sh makeWebGraphics.sh
diffstat 5 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/makeBookeTunePages.sh	Fri Oct 13 16:17:56 2017 +0100
+++ b/makeBookeTunePages.sh	Fri Oct 13 17:19:06 2017 +0100
@@ -34,7 +34,7 @@
 
 # Now, for each tune, build the tunes part and the first line sections
 # of the document.
-find $booke -depth 1 -name "*.abc" | sort |
+find $booke -maxdepth 1 -name "*.abc" | sort |
     while read filename
     do
         name=`basename $filename .abc`
--- a/makeGraphics.sh	Fri Oct 13 16:17:56 2017 +0100
+++ b/makeGraphics.sh	Fri Oct 13 17:19:06 2017 +0100
@@ -17,7 +17,7 @@
 mkdir -p $graphicsdir
 
 # Now, for each tune, make the tune graphic.
-find $booke -depth 1 -name "*.abc" | sort |
+find $booke -maxdepth 1 -name "*.abc" |
     while read filename
     do
         name=`basename $filename .abc`
@@ -48,7 +48,7 @@
     exit
 fi
 
-find ${booke}/Compact -depth 1 -name "*.abc" | sort |
+find ${booke}/Compact -maxdepth 1 -name "*.abc" |
     while read filename
     do
         name=`basename $filename .abc`
--- a/makeWeb.sh	Fri Oct 13 16:17:56 2017 +0100
+++ b/makeWeb.sh	Fri Oct 13 17:19:06 2017 +0100
@@ -67,7 +67,7 @@
 # Now, for each tune, make the tune page.
 rm -f $webdir/$tunelist
 declare -a filenames
-filenames=(`find $bookedir -depth 1 -name "*.abc" | sort`)
+filenames=(`find $bookedir -maxdepth 1 -name "*.abc" | sort`)
 nofiles=${#filenames[@]}
 for (( i=0; i < ${nofiles}; i++ ))
 do
--- a/makeWebAudio.sh	Fri Oct 13 16:17:56 2017 +0100
+++ b/makeWebAudio.sh	Fri Oct 13 17:19:06 2017 +0100
@@ -66,7 +66,7 @@
 }
 
 # Generate audio files and slow speed (currently half speed) audio files.
-find $booke -depth 1 -name "*.abc" | sort |
+find $booke -maxdepth 1 -name "*.abc" | sort |
     while read filename
     do
         makeaudiofiles $filename
--- a/makeWebGraphics.sh	Fri Oct 13 16:17:56 2017 +0100
+++ b/makeWebGraphics.sh	Fri Oct 13 17:19:06 2017 +0100
@@ -20,7 +20,7 @@
 # Now, for each tune, make the main tune and tune first line bitmaps.
 # Do this to temp files and rename into place to make updates as
 # atomic as possible.
-find $booke -depth 1 -name "*.abc" | sort |
+find $booke -maxdepth 1 -name "*.abc" | sort |
     while read filename
     do
         name=`basename $filename .abc`