mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

neil_a_wilson
18.54.2006 b82bba89685861390afefda907bab6a56770ce84
opends/build.xml
@@ -452,6 +452,15 @@
      <fileset file="${resource.dir}/README" />
    </copy>
    <copy todir="${pdir}">
      <fileset file="${resource.dir}/setup.sh" />
    </copy>
    <copy todir="${pdir}">
      <fileset file="${resource.dir}/setup.bat" />
    </copy>
    <chmod file="${pdir}/*.sh" perm="755" />
    <chmod file="${pdir}/bin/*.sh" perm="755" />
  </target>