From 61327e60dbc4d998a7703772782561e736bfd418 Mon Sep 17 00:00:00 2001
From: Silvano Seva <silseva@fastwebnet.it>
Date: Sun, 14 Mar 2021 11:56:51 +0100
Subject: [PATCH] Fixed error in CI script preventing it from installing the
 miosix compiler

---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index dbedf6ca..7ca6131a 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -11,8 +11,8 @@ jobs:
       run: |
         sudo apt update
         sudo apt install python3-pip gcc pkg-config libsdl2-dev wget ninja-build
-        wget -O /tmp/miosix https://miosix.org/toolchain/MiosixToolchainInstaller.run
-        sudo sh /tmp/miosix/MiosixToolchainInstaller.run
+        wget -O /tmp/MiosixToolchainInstaller.run https://miosix.org/toolchain/MiosixToolchainInstaller.run
+        sudo sh /tmp/MiosixToolchainInstaller.run
         sudo pip3 install meson
         wget -O /tmp/radio_tool.deb https://github.com/v0l/radio_tool/releases/download/v0.1.0/radio_tool-0.1.0-Linux.deb
         sudo dpkg -i /tmp/radio_tool.deb