diff options
Diffstat (limited to 'win32')
| -rwxr-xr-x | win32/configure.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 6910f561dd..edf18b7411 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -2,6 +2,11 @@ @setlocal disabledelayedexpansion
set witharg=
+for %%I in (%0) do if /%%~dpI/ == /%CD%\/ (
+ echo don't run in win32 directory.
+ exit /b 999
+)
+
echo> ~tmp~.mak ####
echo>> ~tmp~.mak conf = %0
echo>> ~tmp~.mak $(conf): nul
|