From d05d8557a74ce0f2890e1303bda08f834d018eb9 Mon Sep 17 00:00:00 2001 From: Johannes Altmanninger Date: Wed, 22 Apr 2026 14:42:56 +0800 Subject: [PATCH] build_tools/*.sh: fix inconsistent bash shebang --- build_tools/version-available-in-debian.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_tools/version-available-in-debian.sh b/build_tools/version-available-in-debian.sh index 96b439e9a..ebe985cdd 100755 --- a/build_tools/version-available-in-debian.sh +++ b/build_tools/version-available-in-debian.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail