From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 27 Nov 2018 00:48:54 +0000 (-0500)
Subject: Distinguish between processor and wall times
X-Git-Url: https://git.xandkar.net/?p=dups.git;a=commitdiff_plain;h=217f89128605668889d84e576e595248e91b11c2;hp=217f89128605668889d84e576e595248e91b11c2;ds=sidebyside

Distinguish between processor and wall times

and report both
---