diff options
author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2018-09-04 01:59:22 +0200 |
---|---|---|
committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2018-09-04 02:03:18 +0200 |
commit | b60541526c7047aff0f4b2a1aac37804913c61de (patch) | |
tree | fa438750f046d2d8c4f54c65f1aac926bc53f1e3 | |
parent | a39ef3ba0cae1fd6038c4407ec7e66f9bf0f5ea2 (diff) | |
download | lombok-b60541526c7047aff0f4b2a1aac37804913c61de.tar.gz lombok-b60541526c7047aff0f4b2a1aac37804913c61de.tar.bz2 lombok-b60541526c7047aff0f4b2a1aac37804913c61de.zip |
running the edge-release task also sets the git tag now.
-rw-r--r-- | buildScripts/website.ant.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml index 5c996fc6..ddcb2219 100644 --- a/buildScripts/website.ant.xml +++ b/buildScripts/website.ant.xml @@ -209,6 +209,16 @@ such as applying the templates to produce the website, converting the changelog username="${ssh.username}" keyfile="${ssh.keyfile}" knownHosts="ssh.knownHosts" /> + <exec executable="/usr/bin/git"> + <arg value="tag" /> + <arg value="-f" /> + <arg value="live" /> + </exec> + <exec executable="/usr/bin/git"> + <arg value="push" /> + <arg value="-f" /> + <arg value="--tags" /> + </exec> </target> <target name="javadoc" description="Generates the javadoc" depends="-ensure-version, -ensure-fullversion" unless="skip.javadoc"> |