# HG changeset patch
# User Rob Mahurin <octave@tertiarysource.net>
# Date 1261525564 21600
# Node ID 3275dda012f7d38f26ac5ef36efb4e3f6e8277bc
# Parent  49563d18ca78204b5dfb251c7c27859cad85ccc2
find-defun-files.sh: use sed and egrep as found by configure

diff -r 49563d18ca78 -r 3275dda012f7 src/ChangeLog
--- a/src/ChangeLog	Tue Dec 22 11:41:08 2009 -0800
+++ b/src/ChangeLog	Tue Dec 22 17:46:04 2009 -0600
@@ -1,3 +1,7 @@
+2009-12-22  Rob Mahurin  <octave@tertiarysource.net>
+
+	* find-defun-files.sh: Use SED and EGREP as returned by configure.
+
 2009-12-20  Shai Ayal  <shaiay@users.sourceforge.net>
 
 	* DLD-FUNCTIONS/fltk_backend.cc (plot_sindow::set_name): New method.
diff -r 49563d18ca78 -r 3275dda012f7 src/find-defun-files.sh
--- a/src/find-defun-files.sh	Tue Dec 22 11:41:08 2009 -0800
+++ b/src/find-defun-files.sh	Tue Dec 22 17:46:04 2009 -0600
@@ -1,6 +1,8 @@
 #! /bin/sh
 
 set -e
+SED=${SED:-sed}
+EGREP=${EGREP:-egrep}
 
 # Some stupid egreps don't like empty elements in alternation patterns,
 # so we have to repeat ourselves because some stupid egreps don't like
@@ -18,7 +20,7 @@
   else
     file="$srcdir/$arg"
   fi
-  if [ "`egrep -l "$DEFUN_PATTERN" $file`" ]; then
-    echo "$file" | sed 's,.*/,,; s/\.\(cc\|yy\|ll\)$/.df/';
+  if [ "`$EGREP -l "$DEFUN_PATTERN" $file`" ]; then
+    echo "$file" | $SED 's,.*/,,; s/\.\(cc\|yy\|ll\)$/.df/';
   fi
 done