From 40cfd0e97c8b48e1068c0fec3676c622fce22c6d Mon Sep 17 00:00:00 2001 From: Franz Fuchs Date: Thu, 16 Jun 2022 08:56:07 +0100 Subject: [PATCH] removed PUSH_DELAY from gfe-synth build --- src_SSITH_P3/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile index 5e82e9a..f35a0fe 100644 --- a/src_SSITH_P3/Makefile +++ b/src_SSITH_P3/Makefile @@ -39,7 +39,7 @@ BSC_COMPILATION_FLAGS += \ -D MEM64 \ -D RISCV \ -D TSO_MM \ - -D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D NO_SPEC_RSB_PUSH -D NO_SPEC_STL \ + -D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D NO_SPEC_STL \ -D NO_SPEC_STL \ -D INCLUDE_GDB_CONTROL \ -D BRVF_TRACE \