#840: CI: make script exit non-zero if ctest fails with pipe

DARMA-tasking · Jun 9, 2020 · 73b2416 · 73b2416
1 parent 028e13d
commit 73b2416
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/test_cpp.sh b/ci/test_cpp.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-set -ex
+set -exo pipefail
 
 source_dir=${1}
 build_dir=${2}