1.1 --- a/make/build.xml Tue Aug 24 15:09:21 2010 -0700 1.2 +++ b/make/build.xml Wed Aug 25 11:24:30 2010 -0700 1.3 @@ -673,6 +673,7 @@ 1.4 <filterset begintoken="#" endtoken="#"> 1.5 <filter token="PROGRAM" value="@{name}"/> 1.6 <filter token="TARGET_JAVA" value="@{java}"/> 1.7 + <filter token="PS" value="${path.separator}"/> 1.8 </filterset> 1.9 </copy> 1.10 <chmod file="@{bin.dir}/@{name}" perm="ugo+rx"/>