D13911.id37946.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D13911.id37946.diff
View Options

	Index: Makefile.inc1
	===================================================================
	--- Makefile.inc1
	+++ Makefile.inc1
	@@ -965,16 +965,21 @@
	buildworld: buildworld_prologue ${WMAKE_TGTS} buildworld_epilogue .PHONY
	.ORDER: buildworld_prologue ${WMAKE_TGTS} buildworld_epilogue

	+_BUILDWORLD_START= .buildworld_start
	buildworld_prologue: .PHONY
	@echo "--------------------------------------------------------------"
	@echo ">>> World build started on `LC_ALL=C date`"
	@echo "--------------------------------------------------------------"
	+ @date '+%s' > ${_BUILDWORLD_START}

	buildworld_epilogue: .PHONY
	@echo
	@echo "--------------------------------------------------------------"
	@echo ">>> World build completed on `LC_ALL=C date`"
	@echo "--------------------------------------------------------------"
	+ @seconds=$$(($$(date '+%s') - $$(cat ${_BUILDWORLD_START}))); \
	+ echo -n ">>> World build in $$seconds seconds, "; \
	+ echo "ncpu: $$(sysctl -n hw.ncpu)${.MAKE.JOBS:S/^/, make -j/}"

	#
	# We need to have this as a target because the indirection between Makefile