Remove dependency on bash.

diff --git a/.github/run_test.sh b/.github/run_test.sh
index 1d1ecbf350267c45bc13d36ada14c4ac304ce075..7ef17697f782a166c2f0d0cfdde9f06fdb20137b 100755 (executable)
--- 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 6240ef06ef5399bfa84cf24871a293aba2a350cb..61fd9725d0c5d6ef321bcb855fa74a9d4bae9861 100755 (executable)
--- 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*)