diff options
Diffstat (limited to 'sim/rx/configure')
-rwxr-xr-x | sim/rx/configure | 26 |
1 files changed, 2 insertions, 24 deletions
diff --git a/sim/rx/configure b/sim/rx/configure index 9f48a5e..7088573 100755 --- a/sim/rx/configure +++ b/sim/rx/configure @@ -775,7 +775,6 @@ enable_sim_debug enable_sim_stdio enable_sim_trace enable_sim_profile -enable_sim_assert enable_sim_environment enable_sim_inline with_pkgversion @@ -1429,7 +1428,6 @@ Optional Features: --enable-sim-trace=opts Enable tracing of simulated programs --enable-sim-profile=opts Enable profiling flags - --enable-sim-assert Specify whether to perform random assertions --enable-sim-environment=environment Specify mixed, user, virtual or operating environment @@ -10782,7 +10780,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10785 "configure" +#line 10783 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -10888,7 +10886,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10891 "configure" +#line 10889 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -11271,26 +11269,6 @@ $as_echo "$sim_profile" >&6; } -{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether to enable sim asserts" >&5 -$as_echo_n "checking whether to enable sim asserts... " >&6; } -sim_assert="1" -# Check whether --enable-sim-assert was given. -if test "${enable_sim_assert+set}" = set; then : - enableval=$enable_sim_assert; case "${enableval}" in - yes) sim_assert="1";; - no) sim_assert="0";; - *) as_fn_error $? "--enable-sim-assert does not take a value" "$LINENO" 5;; -esac -fi - -cat >>confdefs.h <<_ACEOF -#define WITH_ASSERT $sim_assert -_ACEOF - -{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $sim_assert" >&5 -$as_echo "$sim_assert" >&6; } - - { $as_echo "$as_me:${as_lineno-$LINENO}: checking default sim environment setting" >&5 $as_echo_n "checking default sim environment setting... " >&6; } sim_environment="ALL_ENVIRONMENT" |