commit 05813a93cf50e250523213829bb0c2d57ab2c551
author Florian Waibel <fwaibel@datenkollektiv.de> Thu Oct 03 20:55:05 2019 +0200
committer Florian Waibel <fwaibel@datenkollektiv.de> Thu Oct 03 20:55:05 2019 +0200
tree 47f5023372ea228e8cd1eb76b8649725ea4e14ec
parent 05d3184bf2dcd4a5503f4a92eba7619c0119270c

551713 - Switch to old version of Virgo build tools

For more information see:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=551713

buildSrc/src/main/groovy/virgobuild/Constants.groovy

diff --git a/buildSrc/src/main/groovy/virgobuild/Constants.groovy b/buildSrc/src/main/groovy/virgobuild/Constants.groovy
index 9225808..f798aa2 100644
--- a/buildSrc/src/main/groovy/virgobuild/Constants.groovy
+++ b/buildSrc/src/main/groovy/virgobuild/Constants.groovy
@@ -7,10 +7,10 @@
     }
 
     static String getVirgoBuildToolsVersion() {
-        return '1.4.1.RELEASE'
+        return '1.2.1.RELEASE'
     }
 
     static URL getVirgoBuildToolsDownloadUrl() {
-        return new URL("http://build.eclipse.org/rt/virgo/zips/release/VB/${virgoBuildToolsVersion}/virgo-build-tools-${virgoBuildToolsVersion}.zip")
+        return new URL("https://mirror.dkm.cz/eclipse/virgo/release/VB/1.2.1/virgo-build-tools-1.2.1.RELEASE.zip")
     }
 }