benchmarks: factorize the `die()` function into `bench_common.sh`

[nit.git] / benchmarks / bench_common.sh

diff --git a/benchmarks/bench_common.sh b/benchmarks/bench_common.sh
index 4ea5ffe..207edd0 100644 (file)
--- a/benchmarks/bench_common.sh
+++ b/benchmarks/bench_common.sh
@@ -94,3 +94,9 @@ function skip_test()
        return 1
 }
 
+# Helper function. Print the error message and set $died to 1
+function die()
+{
+       echo >&2 "error: $*"
+       died=1
+}