diff options
Diffstat (limited to 'run_all_sd-vbs.sh')
| -rwxr-xr-x | run_all_sd-vbs.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/run_all_sd-vbs.sh b/run_all_sd-vbs.sh index 1f5948d..6be9c87 100755 --- a/run_all_sd-vbs.sh +++ b/run_all_sd-vbs.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 | echo "Building benchmarks in unpaired configuration..." | 23 | echo "Building benchmarks in unpaired configuration..." |
| 21 | cd SD-VBS/benchmarks | 24 | cd SD-VBS/benchmarks |