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 | |||
273 | [Ss]) | 273 | [Ss]) |
274 | debug="SIMULATOR=1" | 274 | debug="SIMULATOR=1" |
275 | simulator="yes" | 275 | simulator="yes" |
276 | simul | ||
276 | ;; | 277 | ;; |
277 | [Dd]) | 278 | [Dd]) |
278 | debug="DEBUG=1" | 279 | debug="DEBUG=1" |
@@ -324,12 +325,6 @@ if [ -z "$appsdir" ]; then | |||
324 | appsdir=`input` | 325 | appsdir=`input` |
325 | fi | 326 | fi |
326 | 327 | ||
327 | if [ "yes" = "$simulator" ]; then | ||
328 | # we have already dealt with the simulator Makefile separately | ||
329 | simul | ||
330 | exit | ||
331 | fi | ||
332 | |||
333 | if [ -z "$language" ]; then | 328 | if [ -z "$language" ]; then |
334 | 329 | ||
335 | echo "Select a number for the language to use (default is english)" | 330 | echo "Select a number for the language to use (default is english)" |
@@ -343,6 +338,11 @@ if [ -z "$language" ]; then | |||
343 | fi | 338 | fi |
344 | fi | 339 | fi |
345 | 340 | ||
341 | if [ "yes" = "$simulator" ]; then | ||
342 | # we have already dealt with the simulator Makefile separately | ||
343 | exit | ||
344 | fi | ||
345 | |||
346 | sed > Makefile \ | 346 | sed > Makefile \ |
347 | -e "s,@FIRMDIR@,${firmdir},g" \ | 347 | -e "s,@FIRMDIR@,${firmdir},g" \ |
348 | -e "s,@APPSDIR@,${appsdir},g" \ | 348 | -e "s,@APPSDIR@,${appsdir},g" \ |