fix shebang in build.sh

This fixes #2583.
2023-08-20 23:51:47 +02:00 · 2023-08-20 23:51:47 +02:00 · 2547ed83ca
commit 2547ed83ca
parent bfcd44704f
1 changed files with 1 additions and 1 deletions
--- 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