1 files changed, 3 insertions, 0 deletions

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