From 0f4422c92c4ab341ae9bb6f0420baf52879760fb Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Wed, 28 Apr 2021 11:46:43 +0100
Subject: [PATCH] devkitA64: allow external gcc config params

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

diff --git a/dka64/scripts/build-gcc.sh b/dka64/scripts/build-gcc.sh
index 8d863bf..2a9906e 100755
--- a/dka64/scripts/build-gcc.sh
+++ b/dka64/scripts/build-gcc.sh
@@ -69,6 +69,7 @@ then
 		--with-bugurl="https://github.com/devkitPro/buildscripts/issues" --with-pkgversion="devkitA64 release 17" \
 		$CROSS_PARAMS \
 		$CROSS_GCC_PARAMS \
+		$EXTRA_GCC_PARAMS \
 		|| { echo "Error configuring gcc"; exit 1; }
 	touch configured-gcc
 fi