From 60bb15a4525671edc702b8f5d1e212ec68150acf Mon Sep 17 00:00:00 2001 From: Stefan Marr Date: Sat, 31 Aug 2019 21:46:31 +0100 Subject: [PATCH] Fix issue with clobber (resolves #316) - also add JAVA_HOME to clean truffle Signed-off-by: Stefan Marr --- build.xml | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/build.xml b/build.xml index 3d070de88..741249bbd 100644 --- a/build.xml +++ b/build.xml @@ -98,7 +98,17 @@ + + + + + + + + + + @@ -109,13 +119,14 @@ - + + @@ -138,10 +149,7 @@ - - - -