From 4b7eaf2ee7de101fdaf7e90ae103226d3bdec9ef Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Wed, 8 Oct 2014 14:10:54 +0200 Subject: [PATCH] build.xml: removed unzip-arm-toolchain --- build/build.xml | 27 +++------------------------ 1 file changed, 3 insertions(+), 24 deletions(-) diff --git a/build/build.xml b/build/build.xml index de6bf1aac..063170f2c 100644 --- a/build/build.xml +++ b/build/build.xml @@ -252,7 +252,7 @@ - + @@ -486,7 +486,7 @@ - + @@ -608,27 +608,6 @@ - - - - - - Checksum failed. - - File ${dist_file} failed checksum. - Please remove "${staging_folder}/dist/${dist_file}" to download it again. - - - - - - - - - - @@ -792,7 +771,7 @@ - +