diff options
author | 2025-06-04 23:27:56 +0100 | |
---|---|---|
committer | 2025-06-04 23:27:56 +0100 | |
commit | 78325572c1b2ae617dd5502ab726bfded1fd0506 (patch) | |
tree | 948ce8aa81770f4ed0a9170670b439a9ef912f85 /tools/windbg/windbg.bat | |
parent | 4aebf7cc9ce07dfb20db217274a45680b3cb00ed (diff) | |
download | sst-78325572c1b2ae617dd5502ab726bfded1fd0506.tar.gz sst-78325572c1b2ae617dd5502ab726bfded1fd0506.zip |
Add some WinDbg helpers and tidy up the README
Diffstat (limited to 'tools/windbg/windbg.bat')
-rw-r--r-- | tools/windbg/windbg.bat | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/windbg/windbg.bat b/tools/windbg/windbg.bat new file mode 100644 index 0000000..11cf29c --- /dev/null +++ b/tools/windbg/windbg.bat @@ -0,0 +1,16 @@ +:: This file is dedicated to the public domain.
+@echo off
+setlocal
+
+if not "%WINDBG_BIN%"=="" goto :ok
+set WINDBG_BIN=tools\windbg\bin
+if exist tools\windbg\bin\DbgX.Shell.exe goto :ok
+powershell tools\windbg\install.ps1 || goto :end
+
+:ok
+%WINDBG_BIN%\DbgX.Shell.exe /g /c $^<tools\windbg\initcmds
+
+:end
+exit /b %errorlevel%
+
+:: vi: sw=4 ts=4 noet tw=80 cc=80
|