From dc2ad4456259bf99c77ae852222738062f607ee8 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Mon, 5 Mar 2018 10:28:27 +0100
Subject: [PATCH] Make pmprof use the correct unit in report

---
 src/support/pmprof.h | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/src/support/pmprof.h b/src/support/pmprof.h
index d20d4bb020..8f91125f54 100644
--- a/src/support/pmprof.h
+++ b/src/support/pmprof.h
@@ -145,13 +145,24 @@ int gettimeofday(struct timeval * tv, struct timezone * /*tz*/)
 
 namespace {
 
+void dumpTime(long long value)
+{
+	std::cerr << std::fixed << std::setprecision(2);
+	if (value >= 1000000)
+		std::cerr << value / 1000000 << "sec";
+	else if (value >= 1000)
+		std::cerr << value / 1000 << "msec";
+	else
+		std::cerr << value << "usec";
+}
+
 void dump(long long sec, long long usec, unsigned long long count) {
 	double const total = sec * 1000000 + usec;
-	std::cerr << std::fixed << std::setprecision(2)
-			  << total / count
-			  << "usec, count=" << count
-			  << ", total=" << total * 0.001 << "msec"
-			  << std::endl;
+	dumpTime(total / count);
+	std::cerr << ", count=" << count
+			  << ", total=";
+	dumpTime(total);
+	std::cerr << std::endl;
 }
 
 } // namespace