diff options
Diffstat (limited to '.github/setup_ci.sh')
| -rwxr-xr-x | .github/setup_ci.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index e2474ccd..61349be1 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -1,5 +1,12 @@ #!/usr/bin/env bash +case $(./config.guess) in +*-darwin*) + # no setup needed for Mac OS X + exit 0 + ;; +esac + TARGETS=$@ PACKAGES="" |