diff options
| author | Dennis Kobert <dennis@kobert.dev> | 2019-10-24 18:07:33 +0200 |
|---|---|---|
| committer | Dennis Kobert <dennis@kobert.dev> | 2019-10-24 18:07:33 +0200 |
| commit | 37f9d5593d9f10ef7a697a6d9d0cebdf258ff362 (patch) | |
| tree | 16663d5cb9d3e254cdac2507ba0c367618394928 | |
| parent | fcc894b393a3c6907b3807ee973d89c3d9d51ff9 (diff) | |
| parent | 541870c280712b9740c18fe0c05c2b7427afb280 (diff) | |
Merge branch 'master' of kobert:/var/repos/uff-os
| -rwxr-xr-x | kernel/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/build.sh b/kernel/build.sh index f47a5b6..4f25a2e 100755 --- a/kernel/build.sh +++ b/kernel/build.sh @@ -48,7 +48,7 @@ build_clean() { } build_all() { - build_kernel + build_kernel_elf } not_exec=true |