From 44fb322c8501ca44faaddbbdb9743a38ec1e2d52 Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Tue, 27 Mar 2018 20:35:16 +0200 Subject: rt-openjdk6 is downloaded from the lombok site, we had a weird version up there for a while that broke the build, we fixed it, but you won’t know until you do some fairly fancy cleaning (a complete re-clone or a distclean). Updated build script to scan for anything that isn’t the right version and re-download. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build.xml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index 645114a7..f6988255 100644 --- a/build.xml +++ b/build.xml @@ -28,8 +28,12 @@ the common tasks and can be called on to run the main aspects of all the sub-scr - - + + + + + + -- cgit