From 96ae7208fda4b793411b20dea42f632b70571839 Mon Sep 17 00:00:00 2001
From: Dave Murphy <wntrmute@users.sourceforge.net>
Date: Wed, 4 Apr 2012 13:18:22 +0100
Subject: [PATCH] actually remove build directory

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

diff --git a/build-devkit.sh b/build-devkit.sh
index ae142ad..4ffe7fd 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -250,19 +250,20 @@ if [ -f $scriptdir/build-crtls.sh ]; then . $scriptdir/build-crtls.sh || { echo
 # Clean up temporary files and source directories
 #---------------------------------------------------------------------------------
 
+cd $BUILDSCRIPTDIR
+
 if [ "$BUILD_DKPRO_AUTOMATED" != "1" ] ; then
-  echo
-  echo "Would you like to delete the build folders and patched sources? [Y/n]"
-  read answer
+	echo
+	echo "Would you like to delete the build folders and patched sources? [Y/n]"
+	read answer
 else
-  answer=y
+	answer=y
 fi
 
-if [ "$answer" != "n" -a "$answer" != "N" ]
-  then
-
-  echo "Removing patched sources and build directories"
+if [ "$answer" != "n" -a "$answer" != "N" ]; then
 
+	echo "Removing patched sources and build directories"
+	rm -fr $BUILDDIR
 fi