From e4b13705957da6d35764490163db36d5092a2644 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Fri, 24 Jul 2020 23:38:05 +0100
Subject: [PATCH] remove redundant toolsprefix

---
 build-devkit.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 66238ea..5736fdc 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -127,13 +127,10 @@ export PATH=$TOOLPATH/$package/bin:$PATH
 CROSS_PARAMS="--build=`./config.guess`"
 
 if [ ! -z $CROSSBUILD ]; then
-	toolsprefix=$INSTALLDIR/$CROSSBUILD/tools
 	prefix=$INSTALLDIR/$CROSSBUILD/$package
-	toolsprefix=$INSTALLDIR/$CROSSBUILD/tools
 	CROSS_PARAMS="$CROSS_PARAMS --host=$CROSSBUILD"
 	CROSS_GCC_PARAMS="--with-gmp=$CROSSPATH --with-mpfr=$CROSSPATH --with-mpc=$CROSSPATH"
 else
-	toolsprefix=$INSTALLDIR/tools
 	prefix=$INSTALLDIR/$package
 fi