diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/iso/linux | 2 |
1 files changed, 1 insertions, 1 deletions
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" |