summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2023-09-22 12:32:34 -0700
committerKaz Kylheku <kaz@kylheku.com>2023-09-22 12:32:34 -0700
commit99a6d31e2dd344677856e0c27e0fbfa8c05f1f50 (patch)
treedf2ff612b7b36c5e57465938784b27735c6f4773
parented301dc66a822065c5b7c4fe635f5b2d3f3aaebb (diff)
downloadtxr-99a6d31e2dd344677856e0c27e0fbfa8c05f1f50.tar.gz
txr-99a6d31e2dd344677856e0c27e0fbfa8c05f1f50.tar.bz2
txr-99a6d31e2dd344677856e0c27e0fbfa8c05f1f50.zip
build: set DELETE_ON_ERROR in Makefile.
* Makefile (.DELETE_ON_ERROR): Special target added. The GNU Make manual says that this is what we always want. Without this, a partially generated txr-manpage.html target is not removed if the recipe happens to die.
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 283b46cc..1f255814 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,8 @@ ifeq ($(parallelmake),)
.NOTPARALLEL:
endif
+.DELETE_ON_ERROR:
+
VERBOSE :=
TXR_CFLAGS := -iquote . $(if $(top_srcdir), -iquote $(top_srcdir)) \
$(LANG_FLAGS) $(DIAG_FLAGS) $(DBG_FLAGS) $(PLATFORM_CFLAGS) \