From 1f5e1660a8efb035b64f5e2424e39e9c08ae9415 Mon Sep 17 00:00:00 2001
From: Joe Steele <joe@madewell.net>
Date: Tue, 21 Jan 2014 17:23:02 -0500
Subject: [PATCH] build.xml improvements

Modify -pre-bump-check so that it verifies that there is no
existing git tag for the new version.
---
 build.xml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/build.xml b/build.xml
index 9d00bf551..cd1131e95 100644
--- a/build.xml
+++ b/build.xml
@@ -176,6 +176,17 @@
             </else>
         </if.contrib>
 
+        <!-- Check that there is no existing git tag for the new version -->
+        <exec executable="git" failonerror="true" outputproperty="git-tag-status" errorproperty="git-tag-status-error">
+            <arg line="tag --list ${version-name}" />
+        </exec>
+        <if.contrib>
+            <equals arg1="${git-tag-status}" arg2="" />
+            <else>
+                <fail>A git tag for version ${version-name} already exists (but should not).</fail>
+            </else>
+        </if.contrib>
+
         <!-- Assure that we have the latest gh-pages branch -->
         <exec executable="git" failonerror="true">
             <arg line="fetch ${origin} +refs/heads/gh-pages:refs/remotes/${origin}/gh-pages" />