1 --- ./src/Makefile.am.org Tue Mar 26 16:49:46 2002
2 +++ ./src/Makefile.am Tue Apr 30 16:23:19 2002
7 - echo 'exec grep -E $${1+"$$@"}' >>$@
8 + echo 'exec /bin/grep -E $${1+"$$@"}' >>$@
13 - echo 'exec grep -F $${1+"$$@"}' >>$@
14 + echo 'exec /bin/grep -F $${1+"$$@"}' >>$@