From 39000f112c4ed30d937fb2e32bae4329140ea592 Mon Sep 17 00:00:00 2001
From: Martin Lange <martin.lange@ufz.de>
Date: Thu, 8 Dec 2022 15:15:58 +0100
Subject: [PATCH] fail profiling script on error

---
 benchmarks/run_profiling.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchmarks/run_profiling.sh b/benchmarks/run_profiling.sh
index 68028ec5..dc413bf8 100755
--- a/benchmarks/run_profiling.sh
+++ b/benchmarks/run_profiling.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 echo Profiling...
 
+set -e
 mkdir -p prof
 
 for filename in benchmarks/profiling/*.py; do
-- 
GitLab