Don't set pipefail

4 years ago · b71f13965a
parent 74ba6197ce
commit b71f13965a
1 changed files with 1 additions and 1 deletions
--- a/CI/activate_msvc.sh
+++ b/CI/activate_msvc.sh
@ -1,6 +1,6 @@
 #!/bin/bash

-set -euo pipefail
+set -eu

 if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
    echo "Error: Script not sourced."