Searched refs:log_fp (Results 1 – 1 of 1) sorted by relevance
253 FILE* log_fp = fopen(filename, "a"); in redirect_stdio() local254 if (log_fp == nullptr) { in redirect_stdio()263 check_and_fclose(log_fp, filename); in redirect_stdio()275 fprintf(log_fp, "[%12.6lf]\n", duration); in redirect_stdio()277 fprintf(log_fp, "[%12.6lf] %s", duration, line); in redirect_stdio()279 fflush(log_fp); in redirect_stdio()285 check_and_fclose(log_fp, filename); in redirect_stdio()