Searched refs:files_source (Results 1 – 2 of 2) sorted by relevance
2197 char *dump_write = NULL, *files_source = NULL; in main() local2228 files_source = optarg; in main()2265 if (files_source) in main()2266 read_symbols_from_files(files_source); in main()
306 char *dump_write = NULL, *files_source = NULL;