From 9ebe6b387606b502d055b43e162cae4c88d65d67 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sat, 6 Feb 2021 22:05:24 -0800 Subject: 7688 --- tools/iso/linux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/iso/linux b/tools/iso/linux index 6e54e7e6..a6ee4981 100755 --- a/tools/iso/linux +++ b/tools/iso/linux @@ -27,7 +27,7 @@ rm init if [ ! -d kernel.linux ] then echo "=== cloning linux kernel" - git clone https://github.com/akkartik/kernel kernel.linux + git clone --depth 1 https://github.com/akkartik/kernel kernel.linux fi echo "=== building linux kernel" -- cgit 1.4.1-2-gfad0