tools/ci-{build,install}.sh: Use a portable interpreter argument

FreeBSD has bash installed as /usr/local/bin/bash, so hardcoding /bin/bash
does not work. Instead use the portable replacement using env which will
find bash in $PATH.

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 6e907deb1177e8039679ceb8214549130591e383..a71214db1b7eafb1ed1751e263e2795322e7af32 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright © 2015-2016 Collabora Ltd.
 # Copyright © 2020 Ralf Habacker <ralf.habacker@freenet.de>

diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index ee9d3499e5177450e56a1185b069384f50fe5fc7..790e7a9316e7af01039c36794a5ba3f055ab4a7a 100755 (executable)
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright © 2015-2016 Collabora Ltd.
 #