diff --git a/build/build.xml b/build/build.xml index 9cdde5083..cc7994a4a 100644 --- a/build/build.xml +++ b/build/build.xml @@ -503,7 +503,7 @@ - + @@ -546,6 +546,45 @@ + + + + + + + + + + + + + + + + + + Testing checksum of "${staging_folder}/dist/${dist_file}" + + + + + Checksum failed. + + File ${dist_file} failed checksum. + Please remove "${staging_folder}/dist/${dist_file}" to download it again. + + + + Unzipping into folder ${staging_folder}/dist/${dist_file} + + + + + + + + +