diff options
-rw-r--r-- | Makefile.nmake | 1 | ||||
-rw-r--r-- | tools/win32-setup.sh | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.nmake b/Makefile.nmake index 414d63ebb8..7abae95438 100644 --- a/Makefile.nmake +++ b/Makefile.nmake @@ -386,6 +386,7 @@ REQUIRED_TOOLS=\ $(YACC) \ $(LEX) \ grep \ + /usr/bin/find \ $(PERL) \ $(PYTHON) \ sed \ diff --git a/tools/win32-setup.sh b/tools/win32-setup.sh index c3ee031217..7d62d1cc9f 100644 --- a/tools/win32-setup.sh +++ b/tools/win32-setup.sh @@ -71,7 +71,7 @@ case "$1" in unzip -nq "$DEST_PATH/$PACKAGE" || err_exit "Couldn't unpack $DEST_PATH/$PACKAGE" echo "Verifying that the DLLs in $DEST_PATH/$DEST_SUBDIR are executable." - for i in `find $DEST_PATH/$DEST_SUBDIR -name \*\.dll` ; do + for i in `/usr/bin/find $DEST_PATH/$DEST_SUBDIR -name \*\.dll` ; do if [ ! -x "$i" ] ; then echo "Changing file permissions (add executable bit) to:" echo "$i" |