From 51ee2a2e936ebf8654a46eeb5f919dbba170df5a Mon Sep 17 00:00:00 2001
From: simbit18 <101105604+simbit18@users.noreply.github.com>
Date: Tue, 17 Sep 2024 15:55:30 +0200
Subject: [PATCH] Update Config.mk

---
 tools/Config.mk | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/tools/Config.mk b/tools/Config.mk
index c5f51d2ad9903..d8a5a43c4a3e5 100644
--- a/tools/Config.mk
+++ b/tools/Config.mk
@@ -621,9 +621,16 @@ define DOWNLOAD
 endef
 
 define CURLSTORE
-	$(ECHO_BEGIN)"Downloading: $(2) "
-	$(Q) curl -L --create-dirs $(if $(V),,-Ss) $(1) -o $(2))
-	$(ECHO_END)
+	echo "Downloading: $(if $3,$3,$2) "
+	if [ -z $3 ]; then \
+		curl -L $(if $(V),,-Ss) $(1) -o $(2); \
+	else \
+		if [ ! -f $3 ]; then \
+			curl -L --create-dirs $(if $(V),,-Ss) $(1) -o $(3); \
+		fi; \
+		echo "Copy the file from $3 to $2"; \
+		cp -fr $3 $2; \
+	fi
 endef
 
 # CLONE - Git clone repository. Initializes a new Git repository in the