--- a/jdk/makefiles/GensrcCharsetCoder.gmk Wed Jul 05 18:26:51 2017 +0200
+++ b/jdk/makefiles/GensrcCharsetCoder.gmk Fri Oct 26 14:23:29 2012 -0700
@@ -25,8 +25,8 @@
GENSRC_CHARSETCODER :=
-GENSRC_CHARSETCODER_TMP := $(JDK_OUTPUTDIR)/gensrc_charsetcoder
-GENSRC_CHARSETCODER_DST := $(JDK_OUTPUTDIR)/gensrc_charsetcoder/java/nio/charset
+GENSRC_CHARSETCODER_TMP := $(JDK_OUTPUTDIR)/gensrc
+GENSRC_CHARSETCODER_DST := $(JDK_OUTPUTDIR)/gensrc/java/nio/charset
GENSRC_CHARSETCODER_SRC := $(JDK_TOPDIR)/src/share/classes/java/nio