diff options
| -rw-r--r-- | src/classes/build.xml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/classes/build.xml b/src/classes/build.xml index f70b6cf..8ccbc7b 100644 --- a/src/classes/build.xml +++ b/src/classes/build.xml @@ -333,7 +333,7 @@ <target name="docs" depends="docs-jcp,docs-public,docs-private"/> - <target name="dist-common"> + <target name="dist-common-jar"> <!-- Create the distribution directory --> <mkdir dir="${dist}/common/lib/ext"/> @@ -356,6 +356,16 @@ </copy> </target> + + <target name="dist-common-sign" if="releaseType_milestone"> + <property name="staging" location="../../staging"/> + <exec dir="${dist}/common/lib/ext" executable="${shell}"> + <arg line="${staging}/doSignJars.sh *.jar"/> + </exec> + </target> + + <target name="dist-common" depends="dist-common-jar,dist-common-sign"> + </target> <target name="dist"> <!-- Create the distribution directory --> |