From a605e3caddda21ccb6b3f3db8dc06d4d51ba53f2 Mon Sep 17 00:00:00 2001
From: Matthew Kennedy <matthewkennedy@outlook.com>
Date: Tue, 21 Mar 2023 11:03:41 -0700
Subject: [PATCH] cherry pick https://github.com/rusefi/rusefi/issues/5190

---
 firmware/provide_gcc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/firmware/provide_gcc.sh b/firmware/provide_gcc.sh
index c3456d920d..867ff13821 100755
--- a/firmware/provide_gcc.sh
+++ b/firmware/provide_gcc.sh
@@ -35,4 +35,4 @@ fi
 
 # Create colloquially named link
 cd "$SWD"
-ln -s "${TMP_DIR}"/* "${COLLOQUIAL}"
+ln -sf "${TMP_DIR}"/* "${COLLOQUIAL}"