Searched refs:files_file (Results 1 – 4 of 4) sorted by relevance
81 const int c = fgetc(args->files_file); in read_name()83 if (ferror(args->files_file)) { in read_name()94 if (feof(args->files_file)) { in read_name()302 (void)fclose(args.files_file); in main()
524 args->files_file = stdin; in parse_real()527 args->files_file = fopen(optarg, in parse_real()529 if (args->files_file == NULL) in parse_real()644 args->files_file = NULL; in args_parse()
26 FILE *files_file; member
350 files_file = tree + 'conf/files.' + platform351 if os.path.exists(files_file):352 parse_file(files_file, parse_files_line, platform)