diff options
Diffstat (limited to 'sim/d10v/configure')
| -rwxr-xr-x | sim/d10v/configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sim/d10v/configure b/sim/d10v/configure index 14a723f..2225c45 100755 --- a/sim/d10v/configure +++ b/sim/d10v/configure @@ -3623,6 +3623,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 @@ -3831,6 +3836,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 |