diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/configure b/tools/configure index 620d9941a7..b62e82ad52 100755 --- a/tools/configure +++ b/tools/configure @@ -273,6 +273,7 @@ if [ -z "$debug" ]; then [Ss]) debug="SIMULATOR=1" simulator="yes" + simul ;; [Dd]) debug="DEBUG=1" @@ -324,12 +325,6 @@ if [ -z "$appsdir" ]; then appsdir=`input` fi -if [ "yes" = "$simulator" ]; then - # we have already dealt with the simulator Makefile separately - simul - exit -fi - if [ -z "$language" ]; then echo "Select a number for the language to use (default is english)" @@ -343,6 +338,11 @@ if [ -z "$language" ]; then fi fi +if [ "yes" = "$simulator" ]; then + # we have already dealt with the simulator Makefile separately + exit +fi + sed > Makefile \ -e "s,@FIRMDIR@,${firmdir},g" \ -e "s,@APPSDIR@,${appsdir},g" \ |