From 5e6dd8a46783c8ab0aaf6a057cf6942ffc72fb2a Mon Sep 17 00:00:00 2001 From: "Tobin C. Harding" Date: Thu, 10 Aug 2023 09:48:02 +1000 Subject: [PATCH] CI: Use bash instead of sh In preparation for using `pushd`/`popd` use `bash` to run the CI script instead of `sh`. --- contrib/test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/test.sh b/contrib/test.sh index 13c216c..0e403a3 100755 --- a/contrib/test.sh +++ b/contrib/test.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -ex