diff --git a/build/build.xml b/build/build.xml index 0e5381668..cf2afc88b 100644 --- a/build/build.xml +++ b/build/build.xml @@ -693,6 +693,12 @@ + + Unzipping ${archive_file} into folder ${dest_folder} + + + + @@ -772,7 +778,7 @@ - +