From bc7ca7bb965f879e96752e79db29d0b16ab809a1 Mon Sep 17 00:00:00 2001
From: Eric Gregory <eric@L-Taraval.(none)>
Date: Thu, 26 Jul 2012 07:22:43 -0700
Subject: [PATCH] Closes #5539. Removes build folder when ./configure is run

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

diff --git a/configure b/configure
index 5cea8d59..002a4f36 100755
--- a/configure
+++ b/configure
@@ -97,6 +97,9 @@ fi
 # Remove existing Makefile so it's not left around if configure fails
 rm -f Makefile
 
+# Remove the build folder to force Cmake to update its cache.
+rm -fr build
+
 if ! mkdir -p build
 then
     printf "Unable to create build directory.\n"