diff --git a/build/build.xml b/build/build.xml index f4f0b3754..dccdae3c0 100644 --- a/build/build.xml +++ b/build/build.xml @@ -552,8 +552,7 @@ - - + Testing checksum of "${archive_file}" @@ -564,8 +563,10 @@ File ${archive_file} failed checksum. Please remove "${archive_file}" to download it again. + - + + Unzipping into folder ${dest_folder} @@ -574,19 +575,7 @@ - - Testing checksum of "${archive_file}" - - - - - Checksum failed. - - File ${archive_file} failed checksum. - Please remove "${archive_file}" to download it again. - - - + Unzipping into folder ${dest_folder}