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 edf47e6..d0b8cc0 100755
--- a/tools/configure
+++ b/tools/configure
@@ -97,6 +97,10 @@ if [ "$target" = "update" ]; then
echo "Existing generated Makefile found. Getting defaults from it."
target=`grep "^TARGET=" Makefile | cut -d= -f2-`
debug=`grep "^DEBUG=" Makefile | cut -d= -f2-`
+
+ if [ "$debug" = "SIMULATOR=1" ]; then
+ simulator="yes"
+ fi
fi
fi
else