make/gensrc/GensrcCharacterData.gmk
changeset 58028 7ac4273bb49b
parent 47217 72e3ae9a25eb
child 58908 73bb9c4002cc
--- a/make/gensrc/GensrcCharacterData.gmk	Thu Sep 05 16:26:53 2019 -0700
+++ b/make/gensrc/GensrcCharacterData.gmk	Thu Sep 05 17:38:54 2019 -0700
@@ -42,6 +42,7 @@
 	    -spec $(UNICODEDATA)/UnicodeData.txt \
 	    -specialcasing $(UNICODEDATA)/SpecialCasing.txt \
 	    -proplist $(UNICODEDATA)/PropList.txt \
+	    -derivedprops $(UNICODEDATA)/DerivedCoreProperties.txt \
 	    -o $(SUPPORT_OUTPUTDIR)/gensrc/java.base/java/lang/$1.java \
 	    -usecharforbyte $3