From 7ad4608b579e5861fa84f9d6f7dd902751bf4d3d Mon Sep 17 00:00:00 2001
From: "Ycarus (Yannick Chabanois)" <ycarus@zugaina.org>
Date: Mon, 14 Sep 2020 20:43:21 +0200
Subject: [PATCH] Update main.yml

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 833006d28..477e6f351 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -40,7 +40,7 @@ jobs:
           git checkout develop
         fi
         git pull
-        ln -s omr ${GITHUB_WORKSPACE}/omr
+        ln omr ${GITHUB_WORKSPACE}/omr
     - name: Build toolchain
       working-directory: ../../omr
       env: