diff options
Diffstat (limited to 'run_everything.sh')
| -rwxr-xr-x | run_everything.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/run_everything.sh b/run_everything.sh deleted file mode 100755 index 8d46ad7..0000000 --- a/run_everything.sh +++ /dev/null | |||
| @@ -1,21 +0,0 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | maxJobs=$1 | ||
| 4 | runID=$2 | ||
| 5 | |||
| 6 | if [ $# -lt 2 ]; then | ||
| 7 | echo "Usage $0 <number of iterations> <run ID>" | ||
| 8 | exit | ||
| 9 | fi | ||
| 10 | |||
| 11 | date | ||
| 12 | cd baseline | ||
| 13 | make all | ||
| 14 | ../interference-benchmark/deactivateCoresSMT.bash | ||
| 15 | ./run_baseline.sh 15 $maxJobs $runID | ||
| 16 | date | ||
| 17 | cd ../all_pairs | ||
| 18 | ../../interference-benchmark/activateCores.bash | ||
| 19 | make all | ||
| 20 | ./run_all_pairs.sh 15 31 $maxJobs $runID | ||
| 21 | date | ||
