From 9adaa12dd9d0bfd6beac2b4dc91d3e131fd75508 Mon Sep 17 00:00:00 2001
From: Matthew Kennedy <matthewkennedy@outlook.com>
Date: Wed, 20 Mar 2024 01:53:23 -0700
Subject: [PATCH] gdb in build tools

---
 firmware/ext/build-tools            | 2 +-
 firmware/setup_linux_environment.sh | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/firmware/ext/build-tools b/firmware/ext/build-tools
index f301fe169e..92c893f842 160000
--- a/firmware/ext/build-tools
+++ b/firmware/ext/build-tools
@@ -1 +1 @@
-Subproject commit f301fe169e44185753554fbf747ba21f1e6a3114
+Subproject commit 92c893f842fefa2379bb01941f4a9a6815ef9523
diff --git a/firmware/setup_linux_environment.sh b/firmware/setup_linux_environment.sh
index 56801401eb..4f7abb7fb7 100755
--- a/firmware/setup_linux_environment.sh
+++ b/firmware/setup_linux_environment.sh
@@ -27,3 +27,6 @@ sudo apt-get install -y build-essential gcc gdb gcc-multilib g++-multilib make o
 
 # Allow the current user to use serial ports
 sudo usermod -a -G dialout $USER
+
+# For gdb to work, unpack it.
+bash ./ext/build-tools/inflate.sh