diff options
author | Gregory Heytings <gregory@heytings.org> | 2022-11-19 14:00:17 +0000 |
---|---|---|
committer | Gregory Heytings <gregory@heytings.org> | 2022-11-19 15:03:58 +0100 |
commit | 91c3a276dd5cdeb6eab40d921ff2def47500a4c4 (patch) | |
tree | 4282af77e8a41131c68d3e3daf41c080e410f34f /Makefile.in | |
parent | 00aebdc182015614e215885e72a06f6df03e57d2 (diff) |
; * Makefile.in: Add option to disable advice on failure.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 66fa688feb2..3109472a8aa 100644 --- a/Makefile.in +++ b/Makefile.in @@ -405,6 +405,7 @@ actual-all: ${SUBDIR} info $(gsettings_SCHEMAS:.xml=.valid) src-depending-on-lis # ADVICE-ON-FAILURE-END:bootstrap advice-on-failure: + @[ -f .no-advice-on-failure ] && exit ${exit-status}; true @echo >&2 '***' @echo >&2 '*** '"\"make ${make-target}\" failed with exit status ${exit-status}." @echo >&2 '***' @@ -415,6 +416,7 @@ advice-on-failure: @exit ${exit-status} sanity-check: + @[ -f .no-advice-on-failure ] && exit 0; true @v=$$(src/emacs${EXEEXT} --batch --eval \ '(progn (defun f (n) (if (= 0 n) 1 (* n (f (- n 1))))) (princ (f 10)))' \ 2> /dev/null); \ |