void gt_timer_show_progress(GtTimer *t, const char *desc, FILE *fp) { #ifndef _WIN32 gt_timer_show_progress_formatted(t, fp, "%s", desc); #else /* XXX */ fprintf(stderr, "gt_timer_show_progress() not implemented\n"); exit(EXIT_FAILURE); #endif }
void gt_timer_show_progress(GtTimer *t, const char *desc, FILE *fp) { gt_timer_show_progress_formatted(t, fp, "%s", desc); }