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>

diff --git a/test/generate-gcov-report.sh b/test/generate-gcov-report.sh
index f871a5b..ff27845 100755 (executable)
--- 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 (executable)
--- 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 (executable)
--- a/tools/publish-doc
+++ b/tools/publish-doc
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e