Make certain arguments required in dev script

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Sep 13, 2023 · a015325 · a015325
1 parent 337a5bb
commit a015325
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/dev_build.py b/dev_build.py
@@ -60,11 +60,13 @@ def main():
     )
     parser.add_argument(
         "--board",
-        help="Target board"
+        help="Target board",
+        required=True
     )
     parser.add_argument(
         "--example",
-        help="Example to build"
+        help="Example to build",
+        required=True
     )
     args = parser.parse_args()