Fix git commit info extraction to avoid build failures.

Closes #2088.
2019-07-19 14:25:37 +02:00 · 2019-07-19 14:25:37 +02:00 · 5840b31a74
commit 5840b31a74
parent 7f995466dd
1 changed files with 1 additions and 0 deletions
--- a/main/pom.xml
+++ b/main/pom.xml
@ -248,6 +248,7 @@
            <generateGitPropertiesFile>true</generateGitPropertiesFile>
            <generateGitPropertiesFilename>${project.build.outputDirectory}/git.properties</generateGitPropertiesFilename>
            <failOnNoGitDirectory>false</failOnNoGitDirectory>
+            <failOnUnableToExtractRepoInfo>false</failOnUnableToExtractRepoInfo>
            <format>json</format>
            <gitDescribe>
                <skip>false</skip>