From 32843f127f3fffd428e5e71f0b14f8d5eac651d5 Mon Sep 17 00:00:00 2001 From: Franz Fuchs Date: Mon, 25 Jul 2022 12:12:05 +0100 Subject: [PATCH] removed RVFI flag from bluesim builds --- builds/Resources/Include_bluesim.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builds/Resources/Include_bluesim.mk b/builds/Resources/Include_bluesim.mk index 2c63a15..0ff1201 100644 --- a/builds/Resources/Include_bluesim.mk +++ b/builds/Resources/Include_bluesim.mk @@ -15,7 +15,7 @@ build_dir: ifeq (,$(filter clean full_clean,$(MAKECMDGOALS))) include .depends.mk -BSC_COMPILATION_FLAGS += -D RVFI +# BSC_COMPILATION_FLAGS += -D RVFI .depends.mk: TagTableStructure.bsv StatCounters.bsv GenerateHPMVector.bsv | build_dir if ! bluetcl -exec makedepend -elab -sim $(TMP_DIRS) $(RTL_GEN_DIRS) $(BSC_COMPILATION_FLAGS) -p $(BSC_PATH) -o $@ $(TOPFILE); then rm -f $@ && false; fi