diff --git a/benchmarks/run_profiling.sh b/benchmarks/run_profiling.sh
index 68028ec5e4f19045faaa5b41726c21d8ed2f7365..dc413bf866e68c213eab7a10d885e9b17d8f9832 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