From db01b2d6062d4c28cd82a32f42e566d05480d06e Mon Sep 17 00:00:00 2001
From: Niclas Zeising <zeising@daemonic.se>
Date: Mon, 10 Aug 2020 22:47:09 +0200
Subject: [PATCH] Don't hardcode /bin/bash

Don't hardcode /bin/bash, use /usr/bin/env bash instead, since not all
platforms install bash as /bin/bash.
FreeBSD, as an example, installs bash in /usr/local/bin/bash by default.

Signed-off-by: Niclas Zeising <zeising@daemonic.se>
---
 test/generate-gcov-report.sh     | 4 +++-
 test/test-static-symbols-leak.sh | 2 +-
 tools/publish-doc                | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/test/generate-gcov-report.sh b/test/generate-gcov-report.sh
index f871a5b..ff27845 100755
--- a/test/generate-gcov-report.sh
+++ b/test/generate-gcov-report.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -e
+#!/usr/bin/env bash
+
+set -e
 
 if [[ $# -lt 2 ]]; then
     echo "Usage: ./generate-gcov-report.sh <rel-target-dir> <srcdir> [<srcdir> ... ]"
diff --git a/test/test-static-symbols-leak.sh b/test/test-static-symbols-leak.sh
index d1746c3..9564a2a 100755
--- a/test/test-static-symbols-leak.sh
+++ b/test/test-static-symbols-leak.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Hack to check for leaking symbols in the static library.
 # See https://bugs.freedesktop.org/show_bug.cgi?id=82785
diff --git a/tools/publish-doc b/tools/publish-doc
index 2dcd45e..4432bfd 100755
--- a/tools/publish-doc
+++ b/tools/publish-doc
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e