From 2a5bce18e5a5b621d4f95f380d17a46fa3b7573b Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Fri, 11 May 2018 03:17:24 +0100
Subject: [PATCH] allow skipping tools

---
 build-devkit.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 76bc2b6..7526067 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -283,10 +283,13 @@ done
 # Build and install devkit components
 #---------------------------------------------------------------------------------
 if [ -f $scriptdir/build-gcc.sh ]; then . $scriptdir/build-gcc.sh || { echo "Error building toolchain"; exit 1; }; cd $BUILDSCRIPTDIR; fi
-if [ -f $scriptdir/build-tools.sh ]; then . $scriptdir/build-tools.sh || { echo "Error building tools"; exit 1; }; cd $BUILDSCRIPTDIR; fi
 
-if [ "$BUILD_DKPRO_SKIP_LIBRARIES" != "1" ] ; then
-	if [ -f $scriptdir/build-libs.sh ]; then . $scriptdir/build-libs.sh || { echo "Error building libraries"; exit 1; }; cd $BUILDSCRIPTDIR; fi
+if [ "$BUILD_DKPRO_SKIP_TOOLS" != 1 ] && [ -f $scriptdir/build-tools.sh ]; then
+ . $scriptdir/build-tools.sh || { echo "Error building tools"; exit 1; }; cd $BUILDSCRIPTDIR;
+fi
+
+if [ "$BUILD_DKPRO_SKIP_LIBRARIES" != "1" ] && [ -f $scriptdir/build-libs.sh ]; then
+  . $scriptdir/build-libs.sh || { echo "Error building libraries"; exit 1; }; cd $BUILDSCRIPTDIR;
 fi
 
 if [ ! -z $CROSSBUILD ]; then