diff options
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 3109472a8aa..93609a4e166 100644 --- a/Makefile.in +++ b/Makefile.in @@ -410,7 +410,7 @@ advice-on-failure: @echo >&2 '*** '"\"make ${make-target}\" failed with exit status ${exit-status}." @echo >&2 '***' @cat Makefile | \ - sed -n '/^# ADVICE-ON-FAILURE-BEGIN:${make-target}/,$${p;/^# ADVICE-ON-FAILURE-END:${make-target}/q};' | \ + sed -n '/^# ADVICE-ON-FAILURE-BEGIN:${make-target}/,$${p;/^# ADVICE-ON-FAILURE-END:${make-target}/q;};' | \ sed 's/^# /*** /' | grep -v '^\*\*\* ADVICE-ON-FAILURE-' >&2 @echo >&2 '***' @exit ${exit-status} @@ -425,7 +425,7 @@ sanity-check: echo >&2 '*** '"\"make ${make-target}\" succeeded, but Emacs is not functional."; \ echo >&2 '***'; \ cat Makefile | \ - sed -n '/^# ADVICE-ON-FAILURE-BEGIN:${make-target}/,$${p;/^# ADVICE-ON-FAILURE-END:${make-target}/q};' | \ + sed -n '/^# ADVICE-ON-FAILURE-BEGIN:${make-target}/,$${p;/^# ADVICE-ON-FAILURE-END:${make-target}/q;};' | \ sed 's/^# /*** /' | grep -v '^\*\*\* ADVICE-ON-FAILURE-' >&2; \ echo >&2 '***'; \ exit 1 |