diff options
Diffstat (limited to 'sim/sh/configure')
| -rwxr-xr-x | sim/sh/configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sim/sh/configure b/sim/sh/configure index 2720d6b..d5a94e1 100755 --- a/sim/sh/configure +++ b/sim/sh/configure @@ -3536,6 +3536,11 @@ done +cgen_breaks="" +if grep CGEN_MAINT $srcdir/Makefile.in >/dev/null; then +cgen_breaks="break cgen_rtx_error"; +fi + trap '' 1 2 15 cat > confcache <<\EOF # This file is a shell script that caches the results of configure @@ -3744,6 +3749,7 @@ s%@sim_stdio@%$sim_stdio%g s%@sim_trace@%$sim_trace%g s%@sim_profile@%$sim_profile%g s%@EXEEXT@%$EXEEXT%g +s%@cgen_breaks@%$cgen_breaks%g CEOF EOF |