metrics: rename to SKIP_REPORT_METRICS

oharboe · oharboe · commit 9d29bf2631d1 · 2024-03-20T20:45:40.000+01:00
Signed-off-by: Øyvind Harboe &lt;oyvind.harboe@zylin.com&gt;
diff --git a/docs/user/FlowVariables.md b/docs/user/FlowVariables.md
@@ -10,7 +10,7 @@ user overrides at various flow stages. These are defined in the
 
 | Variable         | Description                                                                        |
 |------------------|------------------------------------------------------------------------------------|
-| `SKIP_METRICS`   | If set to 1, then metrics, report_metrics does nothing. Useful to speed up builds. |
+| `SKIP_REPORT_METRICS`   | If set to 1, then metrics, report_metrics does nothing. Useful to speed up builds. |
 
 ## Platform
 
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 {[info exists ::env(SKIP_METRICS)] && $::env(SKIP_METRICS) == 1} {
+  if {[info exists ::env(SKIP_REPORT_METRICS)] && $::env(SKIP_REPORT_METRICS) == 1} {
     return
   }
   set filename $::env(REPORTS_DIR)/${stage}_[string map {" " "_"} $when].rpt

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 {[info exists ::env(SKIP_METRICS)] && $::env(SKIP_METRICS) == 1} {`
	`10`	`+ if {[info exists ::env(SKIP_REPORT_METRICS)] && $::env(SKIP_REPORT_METRICS) == 1} {`
`11`	`11`	`return`
`12`	`12`	`}`
`13`	`13`	`set filename $::env(REPORTS_DIR)/${stage}_[string map {" " "_"} $when].rpt`