Searched refs:export_filename (Results 1 – 1 of 1) sorted by relevance
59 static char *export_filename = NULL; variable332 export_filename = optarg; in main()417 if (export_filename) { in main()418 export_file = fopen(export_filename, "w"); in main()