diff options
Diffstat (limited to '.github/setup_ci.sh')
-rwxr-xr-x | .github/setup_ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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*) |