From 177be9dcc55d405fbe02fa6b196982b799e860fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Thu, 26 Oct 2017 22:13:55 +0200
Subject: [PATCH] Rename debug script to gdb so that it overloads the gdb
 command

---
 toolchain/{dbg => gdb} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename toolchain/{dbg => gdb} (71%)

diff --git a/toolchain/dbg b/toolchain/gdb
similarity index 71%
rename from toolchain/dbg
rename to toolchain/gdb
index 25a2c58..d16fc76 100755
--- a/toolchain/dbg
+++ b/toolchain/gdb
@@ -2,4 +2,4 @@
 
 if [ -z ${MITTOS64+x} ]; then >&2 echo "Unsupported environment! See README"; exit 1; fi
 
-gdb -q -x /opt/toolchain/gdbinit
+/usr/bin/gdb -q -x /opt/toolchain/gdbinit