K 10 svn:author V 3 jkh K 8 svn:date V 27 2001-01-21T23:44:41.000000Z K 7 svn:log V 141 Also add some timing information for kernel builds so that it's easy to do "make world kernel |grep -e '^>>>'" and get a complete event log. END