Update Config.mk

simbit18 · Oct 8, 2024 · 51ee2a2 · 51ee2a2
1 parent cde866f
commit 51ee2a2
Showing 1 changed file with 10 additions and 3 deletions.
diff --git 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