bug 946828 - remove unix `time` calls from the Make process
Merge pull request #1724 from lonnen/946828-timing-improvements

bug 946828 - remove unix `time` calls from the Make process