D53751.diff
No OneTemporary
Actions

Size

969 B

Referenced Files

None

Subscribers

None

D53751.diff
View Options

	diff --git a/Makefile.inc1 b/Makefile.inc1
	--- a/Makefile.inc1
	+++ b/Makefile.inc1
	@@ -2824,7 +2824,7 @@
	if [ ! -e "$${source_path}" ] ; then \
	echo "Cannot find host tool '${_tool}'"; false; \
	fi; \
	- cp -pf "$${source_path}" "${WORLDTMP}/legacy/bin/${_tool}"
	+ install -p "$${source_path}" "${WORLDTMP}/legacy/bin/${_tool}"
	${_bt}-links: ${_bt}-link-${_tool}
	.endfor

	diff --git a/tools/build/Makefile b/tools/build/Makefile
	--- a/tools/build/Makefile
	+++ b/tools/build/Makefile
	@@ -414,7 +414,7 @@
	# When building on FreeBSD we always copy the host tools instead of linking
	# into WORLDTMP to avoid issues with incompatible libraries (see r364030).
	# Note: we could create links if we don't intend to update the current machine.
	-_COPY_HOST_TOOL= cp -pf
	+_COPY_HOST_TOOL= install -p
	.else
	# However, this is not necessary on Linux/macOS. Additionally, copying the host
	# tools to another directory with cp -p results in freezes on macOS Big Sur for