Searched refs:log_fp (Results 1 – 1 of 1) sorted by relevance
274 FILE* log_fp = fopen(filename, "ae"); in redirect_stdio() local275 if (log_fp == nullptr) { in redirect_stdio()283 check_and_fclose(log_fp, filename); in redirect_stdio()294 fprintf(log_fp, "[%12.6lf]\n", duration); in redirect_stdio()296 fprintf(log_fp, "[%12.6lf] %s", duration, line); in redirect_stdio()298 fflush(log_fp); in redirect_stdio()305 check_and_fclose(log_fp, filename); in redirect_stdio()