-
Alessandro Rubini authored
pp_timed_printf is a great resource, but we need to temporarily silence diagnostic printing in time_ops.get, in order to be able to tell stamping-related calls to just printf-related ones. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
57ef61c3