make/build.xml

changeset 656
6ef801fa38b7
parent 610
3640b60bd0f6
child 680
80505c2026e7
     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"/>

mercurial