Export config_smalltalk and config_tracking

to make them always available in `report_build_metrics`
hpi-swa · Dec 9, 2023 · 8bd983f · 8bd983f
1 parent 991697e
commit 8bd983f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/run.sh b/run.sh
@@ -524,15 +524,15 @@ run() {
 #   All positional parameters
 ################################################################################
 main() {
-  local config_smalltalk=""
+  export config_smalltalk=""
   local config_ston=""
   local config_clean="false"
   local config_debug="false"
   local config_first_arg_or_empty=""
   local config_headless="true"
   local config_image=""
   local config_colorful="true"
-  local config_tracking="true"
+  export config_tracking="true"
   local config_verbose="false"
   local config_vm=""
   local config_vm_dir