standardize on '/usr/bin/env bash' shebang for CI scripts

This is slightly more portable (e.g. on FreeBSD Bash does not live at
/bin/bash). The previous shebang was fine on all the operating systems we
currently support, but this adds robustness as we expand CI coverage.

diff --git a/ci/build.sh b/ci/build.sh
index affffa562ce7c4ff0860e8bbd6ece757400c7ae8..e5fa636edd4ae482a826196b084643948ddf98a4 100755 (executable)
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -x
 set -e