From 232e64c10a212fad56c4f90b62de84ffb3e7cdeb Mon Sep 17 00:00:00 2001
From: Gunnar Beutner <gunnar@beutner.name>
Date: Tue, 20 Apr 2021 18:37:33 +0200
Subject: Meta: Add GDB pretty printers

---
 Meta/debug-kernel.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Meta/debug-kernel.sh')

diff --git a/Meta/debug-kernel.sh b/Meta/debug-kernel.sh
index 471808e358..0f78ee6ceb 100755
--- a/Meta/debug-kernel.sh
+++ b/Meta/debug-kernel.sh
@@ -8,7 +8,9 @@
 # remote on localhost:1234. So point our debugger there, and inform
 # the debugger which binary to load symbols, etc from.
 #
-$SERENITY_KERNEL_DEBUGGER \
+exec $SERENITY_KERNEL_DEBUGGER \
     -ex "file $(dirname "$0")/../Build/${SERENITY_ARCH:-i686}/Kernel/Kernel" \
     -ex 'set arch i386:intel' \
-    -ex 'target remote localhost:1234'
+    -ex 'target remote localhost:1234' \
+    -ex "source $(dirname "$0")/serenity_gdb.py" \
+    "$@"
-- 
cgit v1.2.3