diff options
-rwxr-xr-x | tools/configure | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index b62e82ad52..ea213b8750 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -17,7 +17,7 @@ input() { | |||
17 | echo $response | 17 | echo $response |
18 | } | 18 | } |
19 | 19 | ||
20 | simul () { | 20 | whichsim () { |
21 | 21 | ||
22 | if [ -z "$simver" ]; then | 22 | if [ -z "$simver" ]; then |
23 | 23 | ||
@@ -38,6 +38,10 @@ if [ -z "$simver" ]; then | |||
38 | ;; | 38 | ;; |
39 | esac | 39 | esac |
40 | fi | 40 | fi |
41 | } | ||
42 | |||
43 | |||
44 | simul () { | ||
41 | 45 | ||
42 | ################################################################## | 46 | ################################################################## |
43 | # Figure out where the firmware code is! | 47 | # Figure out where the firmware code is! |
@@ -273,7 +277,7 @@ if [ -z "$debug" ]; then | |||
273 | [Ss]) | 277 | [Ss]) |
274 | debug="SIMULATOR=1" | 278 | debug="SIMULATOR=1" |
275 | simulator="yes" | 279 | simulator="yes" |
276 | simul | 280 | whichsim |
277 | ;; | 281 | ;; |
278 | [Dd]) | 282 | [Dd]) |
279 | debug="DEBUG=1" | 283 | debug="DEBUG=1" |
@@ -340,6 +344,7 @@ fi | |||
340 | 344 | ||
341 | if [ "yes" = "$simulator" ]; then | 345 | if [ "yes" = "$simulator" ]; then |
342 | # we have already dealt with the simulator Makefile separately | 346 | # we have already dealt with the simulator Makefile separately |
347 | simul | ||
343 | exit | 348 | exit |
344 | fi | 349 | fi |
345 | 350 | ||