From 6d70aeb8aec5780fa30a3bbaa76168907dc50337 Mon Sep 17 00:00:00 2001
From: Ivan Mikushin <i.mikushin@gmail.com>
Date: Wed, 5 Aug 2015 22:31:12 +0500
Subject: [PATCH] gzip and download the compiled kernel

---
 build.sh             | 4 ++--
 scripts/build-kernel | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index efe16b8..9cbcd2a 100755
--- a/build.sh
+++ b/build.sh
@@ -15,6 +15,6 @@ cleanup() {
     docker rm -v ${DIST_CONTAINER}
 }
 trap cleanup EXIT
-docker cp ${DIST_CONTAINER}:/source/dist/artifacts dist
+docker cp ${DIST_CONTAINER}:/source/dist/kernel dist
 
-ls -l dist/artifacts
+ls -lh dist/kernel
diff --git a/scripts/build-kernel b/scripts/build-kernel
index 6d82d53..a453738 100755
--- a/scripts/build-kernel
+++ b/scripts/build-kernel
@@ -32,4 +32,5 @@ make -j$(nproc) tar-pkg
 
 mkdir -p ${DIST}/kernel
 mv linux*.tar ${DIST}/kernel
+gzip ${DIST}/kernel/linux*.tar
 make headers_install INSTALL_HDR_PATH=${DIST}/kernel/headers