Searched refs:OPT_LIST_FILE (Results 1 – 1 of 1) sorted by relevance
231 OPT_LIST_FILE, enumerator482 if (options[OPT_LIST_FILE].doesOccur) { in main()484 out = T_FileStream_open(options[OPT_LIST_FILE].value, "w"); in main()