From fab6b5b79afa35f108f45eee44350478d363ac1c Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Mon, 7 Sep 2015 13:08:27 +0100
Subject: [PATCH] JAL-1522 report commit id and branch in installation type
 (may move this to separate property in future?)

---
 build.xml |   12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index d0aad96..e9006ca 100755
--- a/build.xml
+++ b/build.xml
@@ -189,12 +189,22 @@
     <tstamp prefix="build">
       <format property="date" pattern="dd MMMM yyyy" />
     </tstamp>
+    <exec executable="/usr/bin/git" outputproperty="git.commit"  failifexecutionfails="false">
+      <arg value="rev-parse"/>
+      <arg value="--short"/>
+      <arg value="HEAD"/>
+    </exec>
+    <exec executable="/usr/bin/git" outputproperty="git.branch" failifexecutionfails="false">
+      <arg value="rev-parse"/>
+      <arg value="--abbrev-ref"/>
+      <arg value="HEAD"/>
+    </exec>
     <properties file="${outputDir}/.build_properties">
       <header>
           ---Jalview Build Details---
         </header>    	
       <property name="VERSION" value="${JALVIEW_VERSION}" />
-      <property name="INSTALLATION" value="${INSTALLATION}" />
+      <property name="INSTALLATION" value="${INSTALLATION} git-commit:${git.commit} [${git.branch}]" />
       <property name="BUILD_DATE" value="${build.date}" />
     </properties>
   </target>
-- 
1.7.10.2