From 6fe3a2894b63d3485ef719bc4f997e59efdc9ac5 Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sat, 10 Sep 2016 12:34:52 +0200
Subject: [PATCH] Make benchmark script callable from any path
---
app/benchmark/timing/all.sh | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/app/benchmark/timing/all.sh b/app/benchmark/timing/all.sh
index e16bca1..3cf5dc9 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}
--
GitLab