421 Configuration headers: |
421 Configuration headers: |
422 $config_headers |
422 $config_headers |
423 |
423 |
424 Report bugs to the package provider." |
424 Report bugs to the package provider." |
425 |
425 |
426 ac_cs_config="'--enable-simulator'" |
426 ac_cs_config="" |
427 ac_cs_version="\ |
427 ac_cs_version="\ |
428 config.status |
428 config.status |
429 configured by ./configure, generated by GNU Autoconf 2.69, |
429 configured by ./configure, generated by GNU Autoconf 2.69, |
430 with options \"$ac_cs_config\" |
430 with options \"$ac_cs_config\" |
431 |
431 |
510 exec 6>/dev/null |
510 exec 6>/dev/null |
511 ac_configure_extra_args="$ac_configure_extra_args --silent" |
511 ac_configure_extra_args="$ac_configure_extra_args --silent" |
512 fi |
512 fi |
513 |
513 |
514 if $ac_cs_recheck; then |
514 if $ac_cs_recheck; then |
515 set X /bin/bash './configure' '--enable-simulator' $ac_configure_extra_args --no-create --no-recursion |
515 set X /bin/bash './configure' $ac_configure_extra_args --no-create --no-recursion |
516 shift |
516 shift |
517 $as_echo "running CONFIG_SHELL=/bin/bash $*" >&6 |
517 $as_echo "running CONFIG_SHELL=/bin/bash $*" >&6 |
518 CONFIG_SHELL='/bin/bash' |
518 CONFIG_SHELL='/bin/bash' |
519 export CONFIG_SHELL |
519 export CONFIG_SHELL |
520 exec "$@" |
520 exec "$@" |