diff options
Diffstat (limited to 'gdb/config')
| -rw-r--r-- | gdb/config/djgpp/djconfig.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdb/config/djgpp/djconfig.sh b/gdb/config/djgpp/djconfig.sh index 32ef352bb3e..241f6dd57e4 100644 --- a/gdb/config/djgpp/djconfig.sh +++ b/gdb/config/djgpp/djconfig.sh @@ -59,8 +59,11 @@ else SKIPDIR=`pwd | sed -e "s|${srcdir}|.|"` SKIPFILES="${SKIPDIR}/*" fi + +# We use explicit /dev/env/DJDIR/bin/find to avoid catching +# an incompatible DOS/Windows version that might be on their PATH. for fix_dir in \ - `cd $srcdir && find . -type d ! -ipath "${SKIPDIR}" ! -ipath "${SKIPFILES}"` + `cd $srcdir && /dev/env/DJDIR/bin/find . -type d ! -ipath "${SKIPDIR}" ! -ipath "${SKIPFILES}"` do if test ! -f ${fix_dir}/configure.orig ; then if test -f ${srcdir}/${fix_dir}/configure ; then |