diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-09 03:48:35 -0500 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-09 03:48:35 -0500 |
| commit | 9ec5cb49c42833360db60806e2a3571f69a858b4 (patch) | |
| tree | 66edcf42db33630444b970a0ba58afabf1673b28 /run_all_tacle.sh | |
| parent | feb4d5e540216dea5902c2af765ac48254336226 (diff) | |
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.
Diffstat (limited to 'run_all_tacle.sh')
| -rwxr-xr-x | run_all_tacle.sh | 3 |
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 | |||
| 16 | fi | 16 | fi |
| 17 | date | 17 | date |
| 18 | 18 | ||
| 19 | # Configure libextra for benchmarking | ||
| 20 | sed -i "s/LITMUS 1/LITMUS 0/g" extra.h | ||
| 21 | |||
| 19 | # Run the pairs baseline and some comparisons to examine the effect of less cache | 22 | # Run the pairs baseline and some comparisons to examine the effect of less cache |
| 20 | cd baseline | 23 | cd baseline |
| 21 | make all -j32 | 24 | make all -j32 |