Make report_build_metrics more robust

hpi-swa · Dec 9, 2023 · d16cb89 · d16cb89
1 parent ed5217f
commit d16cb89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/helpers.sh b/helpers.sh
@@ -546,7 +546,7 @@ report_build_metrics() {
   local duration=$(($(timer_nanoseconds)-$smalltalk_ci_start_time))
   duration=$(echo "${duration}" | awk '{printf "%.3f\n", $1/1000000000}')
 
-  if [[ "${config_tracking}" != "true" ]]; then
+  if [[ "${config_tracking:-}" == "false" ]]; then
     return 0
   fi