From 6b256fbd5e2db973acd2a2c97f91c6c2943954bd Mon Sep 17 00:00:00 2001
From: Niklas Fiekas <niklas.fiekas@Sartorius.com>
Date: Tue, 25 Oct 2022 11:52:44 +0200
Subject: [PATCH] Use bash for pipefail in build script

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index 75eebc0f..12efb540 100755
--- a/build
+++ b/build
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 set -euo pipefail
 IFS=$'\n\t'