From 5dfedf5b4cec8e8e02de6e9635cf85cdca54d138 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jonwoodruff@gmail.com>
Date: Wed, 8 Mar 2023 11:30:33 +0000
Subject: [PATCH] Don't build with BSC protection by default.

---
 src_SSITH_P3/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile
index d86f5e4..aad5fed 100644
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -38,7 +38,6 @@ BSC_COMPILATION_FLAGS += \
 	-D CAP128 \
 	-D MEM512 \
 	-D RISCV \
-	-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 TSO_MM \
 	-D INCLUDE_GDB_CONTROL \
 	-D BRVF_TRACE \