From 5a0db3fba4242d3d83767f73a7211355ed2803fe Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Fri, 16 Jun 2023 14:37:57 +1000
Subject: [PATCH] dev_build: add option to explicitly pass config

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 dev_build.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/dev_build.py b/dev_build.py
index 04788f5a..0e665585 100644
--- a/dev_build.py
+++ b/dev_build.py
@@ -15,8 +15,6 @@
 CWD = Path.cwd()
 BUILD_DIR = CWD / "tmp_build"
 
-microkit_config = "debug"
-
 
 def find_releases():
     releases = []
@@ -68,6 +66,11 @@ def main():
         help="Example to build",
         required=True
     )
+    parser.add_argument(
+        "--config",
+        default="debug",
+        help="Config option to be passed to the tool"
+    )
     args = parser.parse_args()
 
     # TODO: Support choosing a release by specifying on command line
@@ -83,7 +86,7 @@ def main():
     make_env = environ.copy()
     make_env["BUILD_DIR"] = str(BUILD_DIR.absolute())
     make_env["MICROKIT_BOARD"] = args.board
-    make_env["MICROKIT_CONFIG"] = microkit_config
+    make_env["MICROKIT_CONFIG"] = args.config
     make_env["MICROKIT_SDK"] = str(release)
 
     # Choose the makefile based on the `--example-from-sdk` command line flag