Turn off RVFI for the benchmarks branch, as it affects CPI for some reason.

2025-06-06 14:33:04 +01:00
parent 824b575dc5
commit 16de32f2d4
1 changed files with 0 additions and 1 deletions
--- a/builds/Resources/Include_Common.mk
+++ b/builds/Resources/Include_Common.mk
@@ -55,7 +55,6 @@ BSC_COMPILATION_FLAGS += \
 	-D Near_Mem_Caches    \
 	-D FABRIC64    \
 	-D BLUESIM \
-	-D RVFI \
 	-D PERFORMANCE_MONITORING \
 	-keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert \
 	-suppress-warnings G0020 -steps-max-intervals 10000000   \