diff options
Diffstat (limited to 'defs')
-rw-r--r-- | defs/gmake.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index 2db12cea69..eb9e35a446 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -185,6 +185,12 @@ $(MJIT_MIN_HEADER): $(mjit_min_headers) $(PREP) endif +ifneq ($(wildcard $(UNICODE_FILES) $(UNICODE_PROPERTY_FILES)),) +.PHONY: $(UNICODE_SRC_DATA_DIR)/.unicode-tables.time +$(UNICODE_SRC_DATA_DIR)/.unicode-tables.time: \ + $(UNICODE_FILES) $(UNICODE_PROPERTY_FILES) +endif + # GNU make treat the target as unmodified when its dependents get # updated but it is not updated, while others may not. $(srcdir)/revision.h: $(REVISION_H) |