From cdc1ac5da9d8151ccd74553a88a90cf569ce8844 Mon Sep 17 00:00:00 2001
From: Lephenixnoir <sebastien.michelland@protonmail.com>
Date: Fri, 5 Feb 2021 16:12:18 +0100
Subject: [PATCH] remove build folder when deciding to skip build

---
 configure.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/configure.sh b/configure.sh
index 2469dd8..c6ff172 100755
--- a/configure.sh
+++ b/configure.sh
@@ -15,6 +15,9 @@ if [[ -f "$existing_gcc" ]]; then
   existing_version=$(sh-elf-gcc --version | head -n 1 | grep -Eo '[0-9.]+$')
   if [[ $existing_version == $VERSION ]]; then
     echo "$TAG Version $VERSION already installed, skipping rebuild"
+    if [[ -e build ]]; then
+      rm -rf build
+    fi
     exit 0
   fi
 fi