tweak Hancho build so we can change build_type from the command line

aappleby · Mar 5, 2024 · ae1fb33 · ae1fb33
1 parent d16ee7e
commit ae1fb33
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/build.hancho b/build.hancho
@@ -2,11 +2,10 @@
 
 print("Building Matcheroni with Hancho")
 
-config.set(
-  build_type = "debug",
-  build_dir  = "build/{build_type}",
-  toolchain  = "x86_64-linux-gnu",
-)
+if config.build_type is None: config.build_type = "debug"
+if config.toolchain is None:  config.toolchain  = "x86_64-linux-gnu"
+
+config.build_dir  = "build/{build_type}"
 
 load("examples/c_lexer/c_lexer.hancho")
 load("examples/c_parser/c_parser.hancho")