Specify bash for install script

mighty-gerbils · Oct 23, 2021 · 736ef9f · 736ef9f
1 parent def87ce
commit 736ef9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,7 +15,7 @@ jobs:
           path: $HOME/gambit
           key: ${{ runner.os }}-${{ env.cache-name }}-${{ hashFiles('$HOME/gambit/bin/gsi') }}
       - name: Install Gambit
-        run: ./.github/scripts/install-gambit.sh
+        run: bash .github/scripts/install-gambit.sh
       - name: Build
         run: |
           echo "(define (gerbil-version-string) \"git-$(git rev-parse --short=8 HEAD)\")" > src/gerbil/runtime/gx-version.scm