diff -r 7a2008de228d -r bb9502f9154a lib/Tools/makeall --- 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