diff options
| -rwxr-xr-x | win32/configure.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index d4e010ac4b..72c2a0139b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -5,12 +5,12 @@ set PROMPT=$E[94m+$E[m$S if "%~dp0" == "%CD%\" (
echo don't run in win32 directory.
exit /b 999
-) else if "%0" == "%~nx0" (
+) else if "%~0" == "%~nx0" ( set "WIN32DIR=%~$PATH:0"
-) else if "%0" == "%~n0" (
+) else if "%~0" == "%~n0" ( set "WIN32DIR=%~$PATH:0"
) else (
- set "WIN32DIR=%0"
+ set "WIN32DIR=%~0" )
set "WIN32DIR=%WIN32DIR:\=/%:/:"
|