Microoptimization: awk has BRE pattern matching, so use it instead of
authortv <tv>
Wed, 2 Nov 2005 05:33:38 +0000 (05:33 +0000)
committertv <tv>
Wed, 2 Nov 2005 05:33:38 +0000 (05:33 +0000)
commit7119396a6aaa30dd238250740026d38081f900e0
tree91935b50db1c4cceec325c1d0a31ddc7e5423ca1
parentfa8fe002da3123e261c0825c0f16b5f0af6dec50
Microoptimization:  awk has BRE pattern matching, so use it instead of
"grep | awk".
mk/bulk/build