From 06914aff2b0011d41bc50447965a8d7c6ef52c9b Mon Sep 17 00:00:00 2001
From: Yuchen Pei <id@ypei.org>
Date: Mon, 19 Jun 2023 11:19:19 +1000
Subject: precision fixes

- Adding org-jira
- Also fixed getting builders in buildbot
- Adding gdb-mi and gud
- Adding gdb and shell configs
- Also mariadb dev related stuff
- A few more modes
- some more updates
---
 misc/bin/gdb-mi.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 misc/bin/gdb-mi.sh

(limited to 'misc/bin')

diff --git a/misc/bin/gdb-mi.sh b/misc/bin/gdb-mi.sh
new file mode 100644
index 0000000..39320b5
--- /dev/null
+++ b/misc/bin/gdb-mi.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+gdb -i=mi "$@"
-- 
cgit v1.2.3