main: dont print timings with --no-prints

Signed-off-by: Daniel Ziegenberg <[email protected]>
ggerganov · Apr 30, 2024 · 5b4039c · 5b4039c
1 parent 8fac645
commit 5b4039c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/examples/main/main.cpp b/examples/main/main.cpp
@@ -1193,7 +1193,9 @@ int main(int argc, char ** argv) {
  }
  }
 
- whisper_print_timings(ctx);
+ if (!params.no_prints) {
+ whisper_print_timings(ctx);
+ }
  whisper_free(ctx);
 
  return 0;