1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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
@@ -84,14 +84,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">
|
