Searched refs:stats_filename (Results 1 – 3 of 3) sorted by relevance
1895 process_count, submission_count, stats_filename, argument1924 if not stats_filename:1925 stats_filename = os.path.join(1931 stats_file = open(stats_filename, 'wt')
88 const char *stats_filename = getenv("GLSL_TO_TGSI_PRINT_STATS"); in print_stats_enabled() local89 if (stats_filename) { in print_stats_enabled()90 bool write_header = std::ifstream(stats_filename).fail(); in print_stats_enabled()91 stats_log.open(stats_filename, std::ios_base::out | std::ios_base::app); in print_stats_enabled()