; * Makefile.in: Minor improvements of failure messages.

diff --git a/Makefile.in b/Makefile.in
index 79a1d4204caf0b72082ea63163a355d77dcb94ad..4968b710a5b841378970c73c9945bcf3231e4c36 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -380,14 +380,14 @@ bootstrap-all:
 actual-all: ${SUBDIR} info $(gsettings_SCHEMAS:.xml=.valid) src-depending-on-lisp
 
 # ADVICE-ON-FAILURE-BEGIN:all
-# You might try to:
+# You could try to:
 # - run "make bootstrap", which might fix the problem
 # - run "make V=1", which displays the full commands invoked by make,
 #   to further investigate the problem
 # ADVICE-ON-FAILURE-END:all
 
 # ADVICE-ON-FAILURE-BEGIN:bootstrap
-# You might try to:
+# You could try to:
 # - run "make extraclean" and run "make" again (or, equivalently, run
 #   "make bootstrap configure=default"), to rebuild Emacs with the
 #   default configuration options, which might fix the problem
@@ -407,6 +407,7 @@ actual-all: ${SUBDIR} info $(gsettings_SCHEMAS:.xml=.valid) src-depending-on-lis
 advice-on-failure:
        @echo >&2 '***'
        @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 's/^# /*** /' | grep -v '^*** ADVICE-ON-FAILURE-' >&2
@@ -420,6 +421,7 @@ sanity-check:
        [ "X$$v" = "X3628800" ] && exit 0; \
        echo >&2 '***'; \
        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 's/^# /*** /' | grep -v '^*** ADVICE-ON-FAILURE-' >&2; \