From b71f13965a2773a8bad256cafed8b631d755ba91 Mon Sep 17 00:00:00 2001
From: AnyOldName3 <krizdjali+gitlab@gmail.com>
Date: Thu, 27 Aug 2020 02:30:40 +0100
Subject: [PATCH] Don't set pipefail

---
 CI/activate_msvc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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."