From f9928b83a2e2eda7bbb9cd7fac0ea6e1ef1be30f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 14 Feb 2020 17:26:49 -0500 Subject: Apply suggestions from code review Co-Authored-By: Jim Fehrle --- doc/sphinx/practical-tools/utilities.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'doc/sphinx/practical-tools') diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index 626a658b6c..23b7dcfeba 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -323,8 +323,7 @@ file timing data: .. note:: Just like ``pretty-timed``, this table defaults to using user - times and supports ``TIMING_REAL=1`` to specify that real times - rather than user times should be used. + times. Pass ``TIMING_REAL=1`` to ``make`` on the command line to show real times instead. .. example:: -- cgit v1.2.3