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 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