langtools/make/build.xml
changeset 6574 7729fe9665a2
parent 6149 48de3564aa13
child 6598 5e2fbe244215
--- a/langtools/make/build.xml	Tue Aug 24 15:09:21 2010 -0700
+++ b/langtools/make/build.xml	Wed Aug 25 11:24:30 2010 -0700
@@ -673,6 +673,7 @@
                     <filterset begintoken="#" endtoken="#">
                         <filter token="PROGRAM" value="@{name}"/>
                         <filter token="TARGET_JAVA" value="@{java}"/>
+                        <filter token="PS" value="${path.separator}"/>
                     </filterset>
                 </copy>
                 <chmod file="@{bin.dir}/@{name}" perm="ugo+rx"/>