From 19b8dee8eede28709d38c9be156ee29946cc71aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Kowalczyk?= <mkow@invisiblethingslab.com>
Date: Sat, 25 Apr 2020 01:59:58 +0200
Subject: [PATCH] pal_loader: Disable the annoying GDB banner

Because GDB is awesome this isn't actually configurable in .gdbinit (or
at least I couldn't find any way to do this) and we need to fix it via
the commandline.
---
 Runtime/pal_loader | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Runtime/pal_loader b/Runtime/pal_loader
index 827bbaae..5d70a6a3 100755
--- a/Runtime/pal_loader
+++ b/Runtime/pal_loader
@@ -53,7 +53,7 @@ if [ "$GDB" == "1" ]; then
 fi
 
 if [ "$GDB" != "" ] && [ "$GDB" != "0" ]; then
-	PREFIX=("$GDB")
+	PREFIX=("$GDB" -q)
 	if [ -n "$INSIDE_EMACS" ]; then
 		PREFIX+=("-i=mi")
 	fi