Add back displaying the `world' start time when displaying the stop time.

However, don't prefix it with '>>>', so those greping for times will
not see it.
This commit is contained in:
David E. O'Brien 2000-12-06 04:35:45 +00:00
parent 4366ac52ad
commit 59084d0c82
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=69659

View File

@ -103,6 +103,7 @@ ${TGTS}: upgrade_checks
# Set a reasonable default
.MAIN: all
STARTTIME!= LC_TIME=C date
#
# world
#
@ -111,7 +112,7 @@ ${TGTS}: upgrade_checks
#
world: upgrade_checks
@echo "--------------------------------------------------------------"
@echo ">>> ${OBJFORMAT} make world started on `LC_TIME=C date`"
@echo ">>> ${OBJFORMAT} make world started on ${STARTTIME}"
@echo "--------------------------------------------------------------"
.if target(pre-world)
@echo
@ -131,7 +132,7 @@ world: upgrade_checks
.endif
@echo
@echo "--------------------------------------------------------------"
@echo ">>> ${OBJFORMAT} make world completed on `LC_TIME=C date`"
@printf ">>> ${OBJFORMAT} make world completed on `LC_TIME=C date`\n (started ${STARTTIME})\n"
@echo "--------------------------------------------------------------"
#