diff run-octave.in @ 7244:5a9561046b89

[project @ 2007-12-04 02:27:27 by jwe]
author jwe
date Tue, 04 Dec 2007 02:27:27 +0000
parents a1dbe9d80eee
children a74f9679535f
line wrap: on
line diff
--- a/run-octave.in	Tue Dec 04 02:10:18 2007 +0000
+++ b/run-octave.in	Tue Dec 04 02:27:27 2007 +0000
@@ -20,7 +20,8 @@
 ## along with Octave; see the file COPYING.  If not, see
 ## <http://www.gnu.org/licenses/>.
 
-AWK=${AWK:-'awk'}
+AWK=%AWK%
+FIND=%FIND%
 
 # FIXME -- is there a better way to handle the possibility of spaces
 # in these names? 
@@ -37,10 +38,10 @@
 d3="$builddir/scripts"
 d4="$builddir/src"
 
-d1_list=`find "$d1" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
-d2_list=`find "$d2" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
-d3_list=`find "$d3" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
-d4_list=`find "$d4" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
+d1_list=`$FIND "$d1" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
+d2_list=`$FIND "$d2" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
+d3_list=`$FIND "$d3" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
+d4_list=`$FIND "$d4" -type d -a ! \( \( -name CVS -o -name private \) -a -prune \) -exec echo '{}': ';'`
 
 d1_path=`echo "$d1_list" | $AWK '{ t = (s $0); s = t; } END { sub (/:$/, "", s); print s; }'`
 d2_path=`echo "$d2_list" | $AWK '{ t = (s $0); s = t; } END { sub (/:$/, "", s); print s; }'`