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"
 }