From 82ae68b9bc7cfba9a633444c4b7fdabf1d3a7f6c Mon Sep 17 00:00:00 2001 From: rcombs Date: Fri, 12 Jun 2020 00:36:55 +0200 Subject: profile: Document end time better [ Oneric : This commit was already present in the pr adding profile.c (#11, 31 Dec 2013, by rcombs ) but seems to have been forgotten. Adjusted to apply on current version. ] --- profile/profile.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/profile/profile.c b/profile/profile.c index 4fc1ade..e7f64f5 100644 --- a/profile/profile.c +++ b/profile/profile.c @@ -66,13 +66,13 @@ int main(int argc, char *argv[]) const int frame_h = 720; if (argc < 5) { - printf("usage: %s