benchmark.patch 658 B

12345678910111213141516
  1. diff --git a/modules/benchmark.c b/modules/benchmark.c
  2. index 50ba7d2..eb8e111 100644
  3. --- a/modules/benchmark.c
  4. +++ b/modules/benchmark.c
  5. @@ -620,9 +620,7 @@ static void do_benchmark(void (*benchmark_function)(void), int entry)
  6. return;
  7. if (params.gui_running) {
  8. - gchar *argv[] = {params.argv0, "-b", entries[entry].name,
  9. - "-m", "benchmark.so", "-a",
  10. - NULL};
  11. + gchar *argv[] = {params.argv0, "-b", entries[entry].name, "-m", "devices.so", "-m", "benchmark.so", "-a", NULL};
  12. GPid bench_pid;
  13. gint bench_stdout;
  14. GtkWidget *bench_dialog;