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

Violette Roche-Montane
29.39.2013 1551fd2fcd0c41409a26f5c8c32c25d99e059eb4
opends/build.xml
@@ -1336,8 +1336,8 @@
        referenceURL="${DOC_REFERENCE_HOME}"
        sourceDirName="${package.dir}/${SHORT_NAME}-${VERSION_NUMBER_STRING}"
        specFileName="${build.dir}/rpm/SPECS/specFile"
        version="${VERSION_NUMBER_STRING}"
        release="${release}"
        version="${pkg_version_string}"
        release="${release}.${pkg_version_qualifier}"
        overwrite="true">
    </genrpm>
@@ -1395,7 +1395,7 @@
    <replace dir="${build.dir}/deb/control/" token="@prefix@" value="${prefix}" />
    <deb destfile="${package.dir}/${PKG_NAME}_${VERSION_NUMBER_STRING}-${release}_all.deb"
    <deb destfile="${package.dir}/${PKG_NAME}_${pkg_version_string}-${release}${pkg_version_qualifier}_all.deb"
         control="${build.dir}/deb/control">
      <tarfileset dir="${package.dir}/${SHORT_NAME}-${VERSION_NUMBER_STRING}"
                  includes="**/*"