jdk/make/Tools.gmk
changeset 23236 7c5997f59e20
parent 22967 bfcfd51c9e5c
child 23347 acb1d044a217
--- a/jdk/make/Tools.gmk	Fri Mar 07 09:18:15 2014 +0100
+++ b/jdk/make/Tools.gmk	Fri Mar 07 15:01:32 2014 +0100
@@ -61,9 +61,6 @@
 TOOL_COMPILEPROPERTIES = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
     build.tools.compileproperties.CompileProperties
 
-TOOL_STRIPPROPERTIES = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
-    build.tools.stripproperties.StripProperties
-
 TOOL_JARREORDER = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
     build.tools.jarreorder.JarReorder