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

matthew_swift
03.26.2009 e10a19e91d09aa4bf4dd1fabf048b46299899e35
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. -->