From 30d4c89ed33af6c8b5f5db0217c72ebd11ae4882 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Wed, 8 Oct 2014 15:50:32 +0200 Subject: [PATCH] build.xml: made untar-tool (and dependencies) easier to reuse --- build/build.xml | 62 ++++++++++++++++++++++++++----------------------- 1 file changed, 33 insertions(+), 29 deletions(-) diff --git a/build/build.xml b/build/build.xml index bb5e088e1..ca3134d60 100644 --- a/build/build.xml +++ b/build/build.xml @@ -252,10 +252,11 @@ - - - - + + + + + @@ -486,10 +487,11 @@ - - - - + + + + + @@ -500,10 +502,11 @@ - - - - + + + + + @@ -562,35 +565,35 @@ - - - + + + - - + + - - Testing checksum of "${staging_folder}/dist/${dist_file}" - + + Testing checksum of "${archive_file}" + Checksum failed. - File ${dist_file} failed checksum. - Please remove "${staging_folder}/dist/${dist_file}" to download it again. + File ${archive_file} failed checksum. + Please remove "${archive_file}" to download it again. - Unzipping into folder ${staging_folder}/dist/${dist_file} + Unzipping into folder ${dest_folder} - - + + @@ -771,10 +774,11 @@ - - - - + + + + +