Searched refs:FILTERDIR (Results 1 – 1 of 1) sorted by relevance
87 FILTERDIR enumerator270 if (options[FILTERDIR].doesOccur) { in main()271 filterDir = options[FILTERDIR].value; in main()