From 6ce4469acdc7567935e55225819629f2a9cf08e2 Mon Sep 17 00:00:00 2001
From: Eduardo Pinho <enet4mikeenet@gmail.com>
Date: Tue, 17 Oct 2023 11:35:44 +0100
Subject: [PATCH] Tweak CI script

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 087f584..d43673c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,7 +27,7 @@ jobs:
           ~/.cargo/bin/elf2djgpp-rev.txt
         key: ${{ runner.os }}-elf2djgpp
     - name: Build and install elf2djgpp
-      run: sh ./install_elf2djgpp.sh
+      run: bash ./install_elf2djgpp.sh
     - uses: actions/checkout@v3
     - name: Build
       run: ./build.sh