Use .xz format instead of .gz 52/13852/1
authorAnil Belur <abelur@linuxfoundation.org>
Thu, 6 Dec 2018 04:32:23 +0000 (14:32 +1000)
committerAnil Belur <abelur@linuxfoundation.org>
Thu, 6 Dec 2018 04:32:23 +0000 (14:32 +1000)
commit1a8258fcd40c8b3c891c51d1581dbd412c52c592
tree2e94aefe16c927e4bed1822468a6708a9ab82dc0
parentacb1db1cf0efbeea7540866b500657d3dec935ce
Use .xz format instead of .gz

xz format has faster compress ratio and better memory requirements.

Change-Id: Id26f9b292fe877f9523a43063daead32ca3486a0
Signed-off-by: Anil Belur <abelur@linuxfoundation.org>
shell/jjb-verify-job.sh