diff options
Diffstat (limited to 'sim/erc32/configure')
| -rwxr-xr-x | sim/erc32/configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sim/erc32/configure b/sim/erc32/configure index 0e56223..5313e56 100755 --- a/sim/erc32/configure +++ b/sim/erc32/configure @@ -3607,6 +3607,11 @@ fi +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 @@ -3816,6 +3821,7 @@ s%@sim_trace@%$sim_trace%g s%@sim_profile@%$sim_profile%g s%@EXEEXT@%$EXEEXT%g s%@TERMCAP@%$TERMCAP%g +s%@cgen_breaks@%$cgen_breaks%g CEOF EOF |