From 455a62a34452ddfd82ca8fc18f0a39f4636068cb Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Fri, 14 Jan 2022 10:25:49 -0500 Subject: [PATCH] fixing issues b/c Windows uses a .zip archive not .tgz for the JDK --- build/build.xml | 35 ++++++++++++++++++----------------- 1 file changed, 18 insertions(+), 17 deletions(-) diff --git a/build/build.xml b/build/build.xml index 8d445f59e..0715b2063 100644 --- a/build/build.xml +++ b/build/build.xml @@ -138,32 +138,33 @@ - + + + + + + - - + - + + --> - - - + + + + unless="jdk.archive.downloaded"> @@ -219,7 +220,7 @@ @@ -531,7 +532,7 @@ - + - + @@ -1130,7 +1131,7 @@ --> - + @@ -1418,7 +1419,7 @@