diff options
| author | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:06:30 +0200 |
|---|---|---|
| committer | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:06:30 +0200 |
| commit | 541870c280712b9740c18fe0c05c2b7427afb280 (patch) | |
| tree | a7f56a855d1240331cd7d7e3628bcb2432ba15c3 | |
| parent | 327aa4c75f6f0b788398eb33294454c65823631c (diff) | |
Adapt all build option in build scipt
| -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 |