From 2ed817434f2958398773d8f3360a412fbf9384af Mon Sep 17 00:00:00 2001 From: Nobuyoshi Nakada Date: Sun, 1 Feb 2026 22:03:49 +0900 Subject: Win32: strip double quotes from the batch file name --- win32/configure.bat | 6 +++--- 1 file 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:\=/%:/:" -- cgit v1.2.3