diff options
Diffstat (limited to 'tools/win32-setup.sh')
-rwxr-xr-x | tools/win32-setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/win32-setup.sh b/tools/win32-setup.sh index 6e92b1cd61..393f599cf3 100755 --- a/tools/win32-setup.sh +++ b/tools/win32-setup.sh @@ -58,7 +58,7 @@ case "$1" in PACKAGE_PATH=$4 PACKAGE=`basename "$PACKAGE_PATH"` if [ ! -e $DEST_PATH/$PACKAGE ] ; then - err_exit "Package $PACKAGE is needed but is apparently not downloaded; 'make setup' required ?" + err_exit "Package $PACKAGE is needed but is apparently not downloaded; 'nmake -f ... setup' required ?" fi ;; --download) |