main : dont print timings with --no-prints (#2108)

Signed-off-by: Daniel Ziegenberg <daniel@ziegenberg.at>
ggerganov · May 13, 2024 · 0bb05b1 · 0bb05b1
1 parent f141b2b
commit 0bb05b1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/examples/main/main.cpp b/examples/main/main.cpp
@@ -1233,7 +1233,9 @@ int main(int argc, char ** argv) {
         }
     }
 
-    whisper_print_timings(ctx);
+    if (!params.no_prints) {
+        whisper_print_timings(ctx);
+    }
     whisper_free(ctx);
 
     return 0;