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 \