From f8e046b29c86debf4912e5927228557a2a2224dc Mon Sep 17 00:00:00 2001
From: Leon van Kammen <leonvankammen@gmail.com>
Date: Tue, 30 Jan 2024 10:10:24 +0000
Subject: [PATCH] CI fix 2: /bin/sh -> /bin/bash (some CI runners run ancient
 /bin/sh without {a,b,c} glob-support)

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

diff --git a/make b/make
index 810a2fc..58a8021 100755
--- a/make
+++ b/make
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 try(){ set +e; "$@" 2>/dev/null; set -e; }
 trace(){ set -x; "$@"; set +x; }