metrics: use defaults

oharboe · oharboe · commit c4ec5a170863 · 2025-10-19T22:03:15.000+02:00
Signed-off-by: Øyvind Harboe &lt;oyvind.harboe@zylin.com&gt;
diff --git a/flow/scripts/report_metrics.tcl b/flow/scripts/report_metrics.tcl
@@ -7,7 +7,7 @@ proc report_puts { out } {
 }
 
 proc report_metrics { stage when { include_erc true } { include_clock_skew true } } {
-  if { [env_var_equals SKIP_REPORT_METRICS 1] } {
+  if { $::env(SKIP_REPORT_METRICS) } {
     return
   }
   puts "Report metrics stage $stage, $when..."

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ proc report_puts { out } {`
`7`	`7`	`}`
`8`	`8`
`9`	`9`	`proc report_metrics { stage when { include_erc true } { include_clock_skew true } } {`
`10`		`- if { [env_var_equals SKIP_REPORT_METRICS 1] } {`
	`10`	`+ if { $::env(SKIP_REPORT_METRICS) } {`
`11`	`11`	`return`
`12`	`12`	`}`
`13`	`13`	`puts "Report metrics stage $stage, $when..."`