diff options
| -rwxr-xr-x | tools/configure | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index b62e82a..ea213b8 100755 --- a/tools/configure +++ b/tools/configure @@ -17,7 +17,7 @@ input() { echo $response } -simul () { +whichsim () { if [ -z "$simver" ]; then @@ -38,6 +38,10 @@ if [ -z "$simver" ]; then ;; esac fi +} + + +simul () { ################################################################## # Figure out where the firmware code is! @@ -273,7 +277,7 @@ if [ -z "$debug" ]; then [Ss]) debug="SIMULATOR=1" simulator="yes" - simul + whichsim ;; [Dd]) debug="DEBUG=1" @@ -340,6 +344,7 @@ fi if [ "yes" = "$simulator" ]; then # we have already dealt with the simulator Makefile separately + simul exit fi |