Revert –#13658 for nim-gdb.bat. Fixes #13705 (#13707)

This commit is contained in:
Joey 2020-03-20 07:38:33 -06:00 • committed by GitHub
commit 0f2377ebef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,7 +6,9 @@ for %%i in ("%NIM_BIN%\..\") do (set NIM_ROOT=%%~fi)
set @GDB_PYTHON_MODULE_PATH=%NIM_ROOT%\tools\nim-gdb.py set @GDB_PYTHON_MODULE_PATH=%NIM_ROOT%\tools\nim-gdb.py
set @NIM_GDB=gdb.exe set @NIM_GDB=gdb.exe
%@NIM_GDB% -eval-command="source %@GDB_PYTHON_MODULE_PATH%" %* @echo source %@GDB_PYTHON_MODULE_PATH%> wingdbcommand.txt
%@NIM_GDB% --command="wingdbcommand.txt" %*
del wingdbcommand.txt /f /q
EXIT /B %ERRORLEVEL% EXIT /B %ERRORLEVEL%
@echo on @echo on