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

matthew_swift
03.26.2009 dfd9411853b08d62158b44009b114f54396c1e52
opendj-sdk/sdk/build.xml
@@ -176,10 +176,12 @@
    <!-- Remove all dynamically-generated build files. -->
    <target name="clean"
            description="Clean up any files generated during the build process">
        <delete dir="${build.dir}" />
        <delete includeemptydirs="true">
            <fileset dir="${srcgen.dir}" includes="**/*" />
        </delete>
        <delete includeemptydirs="true">
            <fileset dir="${build.dir}" includes="**/*" />
        </delete>
    </target>
    <!-- Set the property valid.java.version if the java version is valid. -->