From 2547ed83ca8fcfb9f97f46b964c986954dd95bc6 Mon Sep 17 00:00:00 2001
From: wucke13 <wucke13@gmail.com>
Date: Sun, 20 Aug 2023 23:51:47 +0200
Subject: [PATCH] fix shebang in build.sh

This fixes #2583.
---
 precompiled/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/precompiled/build.sh b/precompiled/build.sh
index 68a709d44..df60dccf8 100755
--- a/precompiled/build.sh
+++ b/precompiled/build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null
 set -e -x