summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure4
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure
index edf47e6b9e..d0b8cc0462 100755
--- a/tools/configure
+++ b/tools/configure
@@ -97,6 +97,10 @@ if [ "$target" = "update" ]; then
97 echo "Existing generated Makefile found. Getting defaults from it." 97 echo "Existing generated Makefile found. Getting defaults from it."
98 target=`grep "^TARGET=" Makefile | cut -d= -f2-` 98 target=`grep "^TARGET=" Makefile | cut -d= -f2-`
99 debug=`grep "^DEBUG=" Makefile | cut -d= -f2-` 99 debug=`grep "^DEBUG=" Makefile | cut -d= -f2-`
100
101 if [ "$debug" = "SIMULATOR=1" ]; then
102 simulator="yes"
103 fi
100 fi 104 fi
101 fi 105 fi
102else 106else