From 3248e42485ebab80be485edb724e7a5a802a1396 Mon Sep 17 00:00:00 2001 From: Jonathan Woodruff Date: Mon, 21 Mar 2022 10:14:08 +0000 Subject: [PATCH] Temporarily turn off late push so we can run benchmarks for non-push case. --- 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 f3777ca..129853a 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_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP \ -D INCLUDE_GDB_CONTROL \ -D BRVF_TRACE \ -D XILINX_BSCAN -D JTAG_TAP