diff --git a/installation/build/build.xml b/installation/build/build.xml index 5e522a94263790376b7bf2921986ad9700d31131..ff8a8c5f913e3e273c242fe79223e36e71f5f435 100644 --- a/installation/build/build.xml +++ b/installation/build/build.xml @@ -167,7 +167,12 @@ <!-- // Task for continuous integration server. --> - <target name="ci" depends="dist-screening" /> + <target name="clean" description="Cleans distribution directory."> + <delete dir="${dist}" failonerror="true" /> + <mkdir dir="${dist}" /> + </target> + + <target name="ci" depends="clean, dist" /> </project>