Searched refs:log_fp (Results 1 – 1 of 1) sorted by relevance
270 FILE* log_fp = fopen(filename, "ae"); in redirect_stdio() local271 if (log_fp == nullptr) { in redirect_stdio()279 check_and_fclose(log_fp, filename); in redirect_stdio()290 fprintf(log_fp, "[%12.6lf]\n", duration); in redirect_stdio()292 fprintf(log_fp, "[%12.6lf] %s", duration, line); in redirect_stdio()294 fflush(log_fp); in redirect_stdio()301 check_and_fclose(log_fp, filename); in redirect_stdio()