From 6770ffa179f1fbcccbc33d85a5228aca23082a5a Mon Sep 17 00:00:00 2001
From: Uwe Schindler <uwe@thetaphi.de>
Date: Fri, 19 Jun 2020 20:28:04 +0200
Subject: [PATCH] Fix Maven bootstrapping. This closes #171

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index a40403e..10585cb 100644
--- a/build.xml
+++ b/build.xml
@@ -309,7 +309,9 @@
     </copy>
     <property name="maven.deploy.pom" location="${maven-build-dir}/pom-deploy.xml"/>
     <property name="maven.local.settings" location="${maven-build-dir}/settings.xml"/>
-    <artifact:pom id="maven.deploy.pom" file="${maven.deploy.pom}"/>
+    <artifact:pom id="maven.deploy.pom" file="${maven.deploy.pom}">
+      <remoteRepository refid="mvn.maven-central.backup" />
+    </artifact:pom>
   </target>
   
   <target name="-maven-uptodate">