summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authornatrixaeria <upezu@student.kit.edu>2019-10-24 18:06:30 +0200
committernatrixaeria <upezu@student.kit.edu>2019-10-24 18:06:30 +0200
commit541870c280712b9740c18fe0c05c2b7427afb280 (patch)
treea7f56a855d1240331cd7d7e3628bcb2432ba15c3 /kernel
parent327aa4c75f6f0b788398eb33294454c65823631c (diff)
Adapt all build option in build scipt
Diffstat (limited to 'kernel')
-rwxr-xr-xkernel/build.sh2
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