summaryrefslogtreecommitdiff
path: root/common.mk
diff options
context:
space:
mode:
authorhsbt <hsbt@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2016-01-23 11:55:32 +0000
committerhsbt <hsbt@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2016-01-23 11:55:32 +0000
commit4bfda5d951a3d306e0501cffa77ecfa7a57c6c80 (patch)
tree3b6bb0ea8ff5f68188747dbad3e6a45d00a08aa0 /common.mk
parenta0019b27e6fb866f99479e74af99b5ed30876e21 (diff)
* common.mk: revert r53633. It broke rubyci and travis.
https://travis-ci.org/ruby/ruby/builds/104259623 git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@53637 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
Diffstat (limited to 'common.mk')
-rw-r--r--common.mk9
1 files changed, 6 insertions, 3 deletions
diff --git a/common.mk b/common.mk
index 8e0a690a8f..1d8a362235 100644
--- a/common.mk
+++ b/common.mk
@@ -1005,7 +1005,7 @@ extract-gems: PHONY
bundled_gems
### set the following environment variable or uncomment the line if
-### the Unicode data files should be updated completely on every update ('make up',...).
+### the Unicode data files are updated every minute.
# ALWAYS_UPDATE_UNICODE = yes
UNICODE_FILES = $(srcdir)/enc/unicode/data/$(UNICODE_VERSION)/UnicodeData.txt \
@@ -1013,9 +1013,11 @@ UNICODE_FILES = $(srcdir)/enc/unicode/data/$(UNICODE_VERSION)/UnicodeData.txt \
$(srcdir)/enc/unicode/data/$(UNICODE_VERSION)/NormalizationTest.txt \
$(srcdir)/enc/unicode/data/$(UNICODE_VERSION)/CaseFolding.txt
-update-unicode: $(UNICODE_FILES)
+UNICODE_FILES_DEPS = $(srcdir)/.unicode-$(UNICODE_VERSION).time
-$(UNICODE_FILES):
+update-unicode: $(srcdir)/.unicode-$(UNICODE_VERSION).time PHONY
+
+$(UNICODE_FILES_DEPS):
$(ECHO) Downloading Unicode $(UNICODE_VERSION) data files...
$(Q) $(MAKEDIRS) "$(srcdir)/enc/unicode/data/$(UNICODE_VERSION)"
$(Q) $(BASERUBY) -C "$(srcdir)" tool/downloader.rb \
@@ -1023,6 +1025,7 @@ $(UNICODE_FILES):
-p $(UNICODE_VERSION)/ucd \
-e $(ALWAYS_UPDATE_UNICODE:yes=-a) unicode \
$(UNICODE_FILES)
+ @exit > $@
$(srcdir)/$(HAVE_BASERUBY:yes=lib/unicode_normalize/tables.rb): \
$(srcdir)/.unicode-tables.time