From a107c7acfc0e4dd34e55a3e43a9f48bda9644393 Mon Sep 17 00:00:00 2001
From: natrixaeria <upezu@student.kit.edu>
Date: Fri, 25 Oct 2019 21:16:04 +0200
Subject: Create a print function

---
 kernel/build.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'kernel/build.sh')

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"
 }
 
-- 
cgit v1.2.3-54-g00ecf