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

Signed-off-by: julia <[email protected]>
seL4 · Sep 4, 2024 · 1811bc1 · 1811bc1
1 parent 37c782d
commit 1811bc1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -3107,6 +3107,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);