diff --git a/CI/activate_msvc.sh b/CI/activate_msvc.sh
index 1641f6b3e..05925737a 100644
--- 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."