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"/>