From e59167f80d06b467b4924bfdf3ab0b6269d2621f Mon Sep 17 00:00:00 2001
From: Jovan Gerodetti <jovan.gerodetti@titannano.de>
Date: Sat, 20 Jan 2024 14:12:22 +0100
Subject: [PATCH] bash is not always in /bin/bash

---
 check.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check.sh b/check.sh
index c1c26831c..224a3b32e 100755
--- a/check.sh
+++ b/check.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright (c) godot-rust; Bromeon and contributors.
 # This Source Code Form is subject to the terms of the Mozilla Public
 # License, v. 2.0. If a copy of the MPL was not distributed with this