1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 1a0ae84e5..beb68c2f7 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 export dir=$(pwd)
 export ERRFILE=${dir}/logs/${LOGFILE}