make/gensrc/GensrcCharsetCoder.gmk
changeset 53110 50677f43ac3d
parent 52804 28094715ae71
child 58908 73bb9c4002cc
--- a/make/gensrc/GensrcCharsetCoder.gmk	Tue Jan 01 20:09:02 2019 -0500
+++ b/make/gensrc/GensrcCharsetCoder.gmk	Wed Jan 02 12:59:26 2019 +0100
@@ -36,7 +36,7 @@
 $(GENSRC_CHARSETCODER_DST)/CharsetDecoder.java: $(GENSRC_CHARSETCODER_TEMPLATE)
 	$(call MakeTargetDir)
 	$(RM) $@.tmp
-	$(TOOL_SPP) < $< >$@.tmp \
+	$(TOOL_SPP) -i$< -o$@.tmp \
 	    -Kdecoder \
 	    -DA='A' \
 	    -Da='a' \
@@ -71,7 +71,7 @@
 $(GENSRC_CHARSETCODER_DST)/CharsetEncoder.java: $(GENSRC_CHARSETCODER_TEMPLATE)
 	$(call MakeTargetDir)
 	$(RM) $@.tmp
-	$(TOOL_SPP) < $< >$@.tmp \
+	$(TOOL_SPP) -i$< -o$@.tmp \
 	    -Kencoder \
 	    -DA='An' \
 	    -Da='an' \