Corrected extension cleaning to delete the extension's dist directory
git-svn-id: https://subversion.switch.ch/svn/shibboleth/java-idp/trunk@1707
ab3bd59b-922f-494d-bb5f-
6f0a3c29deca
<echo message="Loading build property defaults ${exts.dir}/default-build.properties" />
<property file="${exts.dir}/extension-build.properties" />
- <if>
- <not>
- <isset property="ext.name" />
- </not>
- <then>
- <fail message="The extension ${ext.root} does not contain the required (ext.name) property in its build.properties file."/>
- </then>
- </if>
+ <fail unless="ext.name" message="The extension ${ext.root} does not contain the required (ext.name) property in its build.properties file."/>
<!-- Create needed directories -->
<mkdir dir="${ext.dist}" />
<exclude name="web" />
</dirset>
<sequential>
- <delete dir="${ext.dist}" />
+ <delete dir="@{module-path}/dist" failonerror="false"/>
</sequential>
</for>
</target>