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 | ||