From 28e327f168724982403b71b5851b0c9523a8e7a1 Mon Sep 17 00:00:00 2001 From: obrien Date: Wed, 6 Dec 2000 04:35:45 +0000 Subject: 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. --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1798bbb..8e04fca 100644 --- a/Makefile +++ b/Makefile @@ -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 "--------------------------------------------------------------" # -- cgit v1.1