diff --git a/app/benchmark/timing/all.sh b/app/benchmark/timing/all.sh index e16bca10ab4510589c35e624633779a71bdce580..3cf5dc9f0b5b454377d5908f607d2dc3bd170a58 100755 --- a/app/benchmark/timing/all.sh +++ b/app/benchmark/timing/all.sh @@ -1,5 +1,8 @@ #!/bin/bash +PWD=$(pwd) +cd "$(dirname "$0")" + ./run bench-timing-activate_task 0 export NO_HEADER=1 ./run bench-timing-activate_task 1 @@ -12,3 +15,5 @@ export NO_HEADER=1 ./run bench-timing-tmr 0 ./run bench-timing-aborted_computation 0 ./run bench-timing-alarm 0 + +cd ${PWD}