ci: change shebang to use bash shell for some ci scripts

JCMais · Dec 10, 2023 · ae51e10 · ae51e10
1 parent a5ecb8d
commit ae51e10
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/ci/download-and-unpack.sh b/scripts/ci/download-and-unpack.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # https://stackoverflow.com/a/13350100/710693
 set -euo pipefail
 

diff --git a/scripts/ci/get-latest-libcurl-version.sh b/scripts/ci/get-latest-libcurl-version.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -eu
 
 git ls-remote --tags https://github.com/curl/curl.git \