diff options
author | Darren Tucker <dtucker@dtucker.net> | 2021-04-23 14:53:32 +1000 |
---|---|---|
committer | Darren Tucker <dtucker@dtucker.net> | 2021-04-23 14:53:32 +1000 |
commit | e3ba6574ed69e8b7af725cf5e8a9edaac04ff077 (patch) | |
tree | ac1aa0ad90c9cfc062cffdb50e51f2a78db3c492 /.github | |
parent | db1f9ab8feb838aee9f5b99c6fd3f211355dfdcf (diff) |
Remove dependency on bash.
Diffstat (limited to '.github')
-rwxr-xr-x | .github/run_test.sh | 2 | ||||
-rwxr-xr-x | .github/setup_ci.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.github/run_test.sh b/.github/run_test.sh index 1d1ecbf3..7ef17697 100755 --- a/.github/run_test.sh +++ b/.github/run_test.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh . .github/configs $1 diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index 6240ef06..61fd9725 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh case $(./config.guess) in *-darwin*) |