From aacd4f8bf68af441060290660cb879da70ecd41f Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Thu, 29 Apr 2021 00:53:53 +0100
Subject: [PATCH] devkitARM: allow external gcc config params

---
 dkarm-eabi/scripts/build-gcc.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dkarm-eabi/scripts/build-gcc.sh b/dkarm-eabi/scripts/build-gcc.sh
index b3f46bf..501d1b2 100755
--- a/dkarm-eabi/scripts/build-gcc.sh
+++ b/dkarm-eabi/scripts/build-gcc.sh
@@ -69,6 +69,7 @@ then
 		--with-bugurl="http://wiki.devkitpro.org/index.php/Bug_Reports" --with-pkgversion="devkitARM release 56" \
 		$CROSS_PARAMS \
 		$CROSS_GCC_PARAMS \
+                $EXTRA_GCC_PARAMS \
 		|| { echo "Error configuring gcc"; exit 1; }
 	touch configured-gcc
 fi