From 08df2ba90751adab510fa21fdbaf7b09c899e141 Mon Sep 17 00:00:00 2001 From: zzz Date: Fri, 8 May 2020 14:38:56 +0000 Subject: [PATCH] Build: Use git rev if mtn rev not available Adapted from patch by dr|zed --- build.xml | 35 +++++++++++++++++++++++++---------- 1 file changed, 25 insertions(+), 10 deletions(-) diff --git a/build.xml b/build.xml index 63b38efc4..f0de22c7a 100644 --- a/build.xml +++ b/build.xml @@ -445,7 +445,7 @@ - + @@ -453,7 +453,7 @@ - + @@ -502,12 +502,12 @@ - - + + - + @@ -563,6 +563,21 @@ + + + + + + + + + + + + + + + @@ -2524,13 +2539,13 @@ - - - + + + - - + +