cli: exit gracefully if system is not provided as an argument

Signed-off-by: julia <[email protected]>
seL4 · Sep 4, 2024 · 527445d · 527445d
1 parent 64b4a32
commit 527445d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -3130,6 +3130,9 @@ impl<'a> Args<'a> {
         if config.is_none() {
             missing_args.push("--config");
         }
+        if system.is_none() {
+            missing_args.push("system");
+        }
 
         if !missing_args.is_empty() {
             print_usage(available_boards);