From 16de32f2d404f386098e200d00798460d056af77 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jonwoodruff@gmail.com>
Date: Fri, 6 Jun 2025 14:33:04 +0100
Subject: [PATCH] Turn off RVFI for the benchmarks branch, as it affects CPI
 for some reason.

---
 builds/Resources/Include_Common.mk | 1 -
 1 file changed, 1 deletion(-)

diff --git a/builds/Resources/Include_Common.mk b/builds/Resources/Include_Common.mk
index a2140d1..9a6b8b3 100644
--- 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   \