diff options
| author | Kartik Agaram <vc@akkartik.com> | 2021-02-06 22:05:24 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2021-02-06 22:05:24 -0800 |
| commit | 9ebe6b387606b502d055b43e162cae4c88d65d67 (patch) | |
| tree | 6db45a03e56fb9d93785a2108fbce90d25fe1b98 /tools/iso | |
| parent | f0ef1ca231fcd8475481bc288655fbf58132148b (diff) | |
| download | mu-9ebe6b387606b502d055b43e162cae4c88d65d67.tar.gz | |
7688
Diffstat (limited to 'tools/iso')
| -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" |