Description: no need to fiddle with git during this build
Author: Pierre Gruet <pgt@debian.org>
Forwarded: not-needed
Last-Update: 2023-03-15

--- a/make/build.xml
+++ b/make/build.xml
@@ -77,14 +77,6 @@
     <property name="gluegen.build.number" value="manual"/>
     <property name="gluegen.build.id"     value="${version.timestamp}"/>
     <mkdir dir="${build}" />
-    <exec dir="." executable="git" logError="true" failonerror="false" failifexecutionfails="false"
-              output="${build}/localbranch.raw">
-        <arg line="branch --no-color"/>
-    </exec>
-    <exec dir="." executable="sed" logError="true" failonerror="false" failifexecutionfails="false"
-              outputproperty="gluegen.build.branch">
-        <arg line="-e '/^[^*]/d' -e 's/* \(.*\)/\1/' '${build}/localbranch.raw'"/>
-    </exec>
     <property name="gluegen.build.branch" value="manual"/> <!-- fallback -->
     <exec dir="${project.root}" executable="git" logError="true" failonerror="false" failifexecutionfails="false"
               outputproperty="gluegen.build.commit">