From 8306353df134fc568fa9dd731d7e49a485934b7a Mon Sep 17 00:00:00 2001
From: Joachim Ansorg <github@ja-dev.eu>
Date: Fri, 27 Dec 2024 18:09:56 +0100
Subject: [PATCH] Docker bash:4.4 has bash at /usr/local/bin

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

diff --git a/check-prefix.sh b/check-prefix.sh
index d1ad285c..d575089f 100755
--- a/check-prefix.sh
+++ b/check-prefix.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [[ $# != 2 ]]; then
     echo  >&2 "Usage $0 BASH_PROGRAM PREFIX"
     exit 3