diff options
Diffstat (limited to 'sim/sh/configure')
-rwxr-xr-x | sim/sh/configure | 26 |
1 files changed, 2 insertions, 24 deletions
diff --git a/sim/sh/configure b/sim/sh/configure index 863e3d4..a7cebe5 100755 --- a/sim/sh/configure +++ b/sim/sh/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 @@ -10784,7 +10782,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10787 "configure" +#line 10785 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -10890,7 +10888,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10893 "configure" +#line 10891 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -11273,26 +11271,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" |