diff options
Diffstat (limited to 'kernel/build.sh')
-rwxr-xr-x | kernel/build.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/kernel/build.sh b/kernel/build.sh index 8fa91ce..a162d57 100755 --- a/kernel/build.sh +++ b/kernel/build.sh @@ -68,6 +68,12 @@ build_clean() { remove_target } +build_build() { + build_clean + cargo xbuild + build_run +} + build_all() { build_kernel_elf } @@ -82,6 +88,7 @@ for arg in "$@"; do "launch") build_launch;; "run") build_run;; "clean") build_clean;; + "build") build_build;; "all") build_all;; *) echo "warn: ignoring unknown option '$arg'" @@ -101,6 +108,7 @@ print_help() { echo echo " kernel-elf build the kernel-elf" echo " kernel-iso build the kernel-elf if necessary and the kernel-iso" + echo " build build the kernel-iso with rust binaries" echo " all build kernel" } |