summaryrefslogtreecommitdiffstats
path: root/Makefile
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
commit885c2aebbd4534c99f1f92f591800e1fcc6deab9 (patch)
treedf2ff612b7b36c5e57465938784b27735c6f4773 /Makefile
parent25cb30c1a31f6006ca700477de76bbb78d33d24b (diff)
downloadtxr-885c2aebbd4534c99f1f92f591800e1fcc6deab9.tar.gz
txr-885c2aebbd4534c99f1f92f591800e1fcc6deab9.tar.bz2
txr-885c2aebbd4534c99f1f92f591800e1fcc6deab9.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.
Diffstat (limited to 'Makefile')
-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) \