From 66c399adbd305c7c10262208051ecffc077ba64f Mon Sep 17 00:00:00 2001
From: "Berkeley Churchill (on mrwhite)" <berkeley@berkeleychurchill.com>
Date: Sun, 24 Apr 2016 19:15:39 -0700
Subject: [PATCH] bugfix

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

diff --git a/configure.sh b/configure.sh
index 6b9b4c635..23dc05415 100755
--- a/configure.sh
+++ b/configure.sh
@@ -5,6 +5,14 @@ function show_help {
   echo ""
 }
 
+function error {
+  echo "Configure failed!  Fix errors and run again."
+  echo ""
+  rm -f stoke_config
+  show_help
+  exit
+}
+
 ## START
 
 echo ""
@@ -31,8 +39,7 @@ while :; do
       ;; 
     -?*)
       echo "WARNING: unknown option $1"
-      echo "./configure failed"
-      show_help
+      error
       exit
       ;;
     *)
@@ -41,7 +48,7 @@ while :; do
 done
 
 ## Write options to config file
-echo "MISC_OPTIONS=\"$MISC_OPTIONS\"" >> .stoke_config
+echo "MISC_OPTIONS=$MISC_OPTIONS" >> .stoke_config
 
 ## All we're going to do is figure out what platform you're on, buddy.