make/common/MakeBase.gmk
changeset 42425 57cde06ae8d6
parent 42282 faf3b6722c44
child 42530 c3cee37b37f4
--- a/make/common/MakeBase.gmk	Wed Dec 07 09:47:57 2016 +0100
+++ b/make/common/MakeBase.gmk	Wed Dec 07 16:08:23 2016 +0100
@@ -507,14 +507,18 @@
 	if [ -n "`$(XATTR) -l '$@'`" ]; then $(XATTR) -c '$@'; fi
   endef
 else
-  # Running mkdir and cp in the same shell speeds up copy intensive tasks in Cygwin
-  # significantly.
   define install-file
 	$(call MakeDir, $(@D))
 	$(CP) -fP '$<' '$@'
   endef
 endif
 
+# Variant of install file that does not preserve symlinks
+define install-file-nolink
+	$(call MakeDir, $(@D))
+	$(CP) -f '$<' '$@'
+endef
+
 ################################################################################
 # Take two paths and return the path of the last common directory.
 # Ex: /foo/bar/baz, /foo/bar/banan -> /foo/bar