summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index b038f556..f55b0750 100644
--- a/Makefile
+++ b/Makefile
@@ -160,6 +160,7 @@ endef
define COMPILE_TL
$(call ABBREV,TXR)
+$(call SH,rm -f $@.tmp)
$(call SH,$(TXR) --in-package=sys --compile=$<:$@.tmp)
$(call SH,mv $@.tmp $@)
endef