tool: exit gracefully if system arg is missng

Previously this resulted in a panic with Option::unwrap() on a None Signed-off-by: julia <[email protected]>
seL4 · Sep 2, 2024 · a9f6537 · a9f6537
1 parent 057c83d
commit a9f6537
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);