lib/Tools/makeall
changeset 7277 bb9502f9154a
parent 4456 44e57a6d947d
child 9788 df671fa2562a
--- a/lib/Tools/makeall	Thu Aug 19 12:42:43 1999 +0200
+++ b/lib/Tools/makeall	Thu Aug 19 12:43:02 1999 +0200
@@ -30,7 +30,9 @@
 
 
 SECONDS=0
-echo -n "Started at "; date
+DATE=$(date)
+HOST=$(hostname)
+echo "Started at $DATE ($HOST)"
 
 for L in $ALL_LOGICS
 do