From 78325572c1b2ae617dd5502ab726bfded1fd0506 Mon Sep 17 00:00:00 2001
From: Michael Smith <mikesmiffy128@gmail.com>
Date: Wed, 4 Jun 2025 23:27:56 +0100
Subject: Add some WinDbg helpers and tidy up the README

---
 tools/windbg/windbg.bat | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 tools/windbg/windbg.bat

(limited to 'tools/windbg/windbg.bat')

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
-- 
cgit v1.2.3-54-g00ecf