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) \