From a3e398da82737345eccd87c0ca2494e1c18b26cd Mon Sep 17 00:00:00 2001 From: Steven van den Broek Date: Fri, 16 Jul 2021 20:24:26 +0200 Subject: [PATCH] Try to fix install-stack.sh script --- .github/scripts/install-ghr.sh | 2 +- .github/scripts/install-stack.sh | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/scripts/install-ghr.sh b/.github/scripts/install-ghr.sh index 6a27a8c..b5cabf8 100755 --- a/.github/scripts/install-ghr.sh +++ b/.github/scripts/install-ghr.sh @@ -4,7 +4,7 @@ if test ! "$GITHUB_REF" then echo 'This is not a release build.' else - if [ "$RUNNER_OS" = "linux" ] + if [ "$RUNNER_OS" = "Linux" ] then ARCH="linux" else diff --git a/.github/scripts/install-stack.sh b/.github/scripts/install-stack.sh index 21cdef8..fbeb0a6 100755 --- a/.github/scripts/install-stack.sh +++ b/.github/scripts/install-stack.sh @@ -5,6 +5,12 @@ then echo 'Stack is already installed.' else echo "Installing Stack for $RUNNER_OS..." + if [ "$RUNNER_OS" = "Linux" ] + then + ARCH="linux" + else + ARCH="osx" + fi URL="https://www.stackage.org/stack/$RUNNER_OS-x86_64" curl --location "$URL" > stack.tar.gz gunzip stack.tar.gz