From 98bb4af0cb811977215db4bfbe0cf3821d7d4811 Mon Sep 17 00:00:00 2001
From: AnyOldName3 <krizdjali@gmail.com>
Date: Sat, 6 Sep 2025 01:07:02 +0100
Subject: [PATCH] Use correct shebang

[[ doesn't work in real sh, only in more advanced shells pretending to be sh.
---
 CI/before_script.macos.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/before_script.macos.sh b/CI/before_script.macos.sh
index 8d83949f09..f8c2c74169 100755
--- a/CI/before_script.macos.sh
+++ b/CI/before_script.macos.sh
@@ -1,4 +1,4 @@
-#!/bin/sh -e
+#!/bin/bash -e
 
 rm -fr build
 mkdir build