From 01c4ccc89b9bc68b3b936f2e2312379ddf80e8ed Mon Sep 17 00:00:00 2001
From: Daniel <danielkot@users.noreply.github.com>
Date: Wed, 15 May 2019 18:18:51 +0200
Subject: [PATCH] Update danio_gcc.sh

---
 danio_gcc.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/danio_gcc.sh b/danio_gcc.sh
index 1b7efc8..2ae4480 100755
--- a/danio_gcc.sh
+++ b/danio_gcc.sh
@@ -104,7 +104,9 @@ test_gcc()
 	fi
 }
 
-
+if [ -n "${clean}" ]; then
+	rm -rf build-*
+fi
 if ! download; then
 	echo "STAGE=${TARGET} MSG='at \"download_n_extract\" section'" >.error
 	exit 1