summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure9
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
20simul () { 20whichsim () {
21 21
22if [ -z "$simver" ]; then 22if [ -z "$simver" ]; then
23 23
@@ -38,6 +38,10 @@ if [ -z "$simver" ]; then
38 ;; 38 ;;
39 esac 39 esac
40fi 40fi
41}
42
43
44simul () {
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
341if [ "yes" = "$simulator" ]; then 345if [ "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
344fi 349fi
345 350