From 9ec5cb49c42833360db60806e2a3571f69a858b4 Mon Sep 17 00:00:00 2001
From: Joshua Bakita <jbakita@cs.unc.edu>
Date: Tue, 9 Mar 2021 03:48:35 -0500
Subject: Benchmarks: Make sure we always build with the correct config

The current implementation of this is terrible, but seems to work.
This should probably be replaced with some compile-time defines.
---
 run_all_tacle.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'run_all_tacle.sh')

diff --git a/run_all_tacle.sh b/run_all_tacle.sh
index 51a9c24..4729ada 100755
--- a/run_all_tacle.sh
+++ b/run_all_tacle.sh
@@ -16,6 +16,9 @@ if [[ "$EUID" != 0 ]]; then
 fi
 date
 
+# Configure libextra for benchmarking
+sed -i "s/LITMUS 1/LITMUS 0/g" extra.h
+
 # Run the pairs baseline and some comparisons to examine the effect of less cache
 cd baseline
 make all -j32
-- 
cgit v1.2.2