diff options
| -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 |