summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 38de7214..caf75e82 100644
--- a/Makefile
+++ b/Makefile
@@ -323,7 +323,11 @@ old_build_id=$(shell cat .build_id 2> /dev/null)
ifneq ($(build_id_exp),$(old_build_id))
$(shell rm -f $(call EACH_CONF,txr.o txr-win.o))
endif
+ifneq ($(build_id_exp),)
$(shell printf "%s" "$(build_id_exp)" > .build_id)
+else
+$(shell rm -f .build_id)
+endif
ifneq ($(build_id_exp),)
$(call EACH_CONF,txr.o txr-win.o): TXR_CFLAGS += -DTXR_BUILD_ID=\"$(build_id_exp)\"