Rename debug script to gdb so that it overloads the gdb command

2017-10-26 22:13:55 +02:00
parent 9a3281ff56
commit 177be9dcc5
1 changed files with 1 additions and 1 deletions
--- a/toolchain/gdb
+++ b/toolchain/gdb
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+
+if [ -z ${MITTOS64+x} ]; then >&2 echo "Unsupported environment! See README"; exit 1; fi
+
+/usr/bin/gdb -q -x /opt/toolchain/gdbinit