jdk/makefiles/GensrcCharacterData.gmk
changeset 16636 1cc691bcfe50
parent 14231 a0c23c1c010f
child 20547 453837141fac
--- a/jdk/makefiles/GensrcCharacterData.gmk	Wed Jul 05 18:48:16 2017 +0200
+++ b/jdk/makefiles/GensrcCharacterData.gmk	Fri Apr 05 09:39:10 2013 +0200
@@ -55,9 +55,8 @@
 
 # Copy two Java files that need no preprocessing.
 $(JDK_OUTPUTDIR)/gensrc/java/lang/%.java : $(CHARACTERDATA)/%.java.template
-	$(MKDIR) -p $(@D)
 	$(ECHO) $(LOG_INFO) Generating $(@F)
-	$(CP) -f $< $@
+	$(call install-file)
 
 GENSRC_CHARACTERDATA += $(JDK_OUTPUTDIR)/gensrc/java/lang/CharacterDataUndefined.java \
                        $(JDK_OUTPUTDIR)/gensrc/java/lang/CharacterDataPrivateUse.java