From 9ec5cb49c42833360db60806e2a3571f69a858b4 Mon Sep 17 00:00:00 2001 From: Joshua Bakita 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_dis.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'run_all_dis.sh') diff --git a/run_all_dis.sh b/run_all_dis.sh index 588538d..3907789 100755 --- a/run_all_dis.sh +++ b/run_all_dis.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 echo "Building benchmarks in unpaired configuration..." cd dis -- cgit v1.2.2