Searched refs:OPT_SOURCEDIR (Results 1 – 1 of 1) sorted by relevance
219 OPT_SOURCEDIR, enumerator300 if(options[OPT_SOURCEDIR].doesOccur) { in main()301 sourcePath=options[OPT_SOURCEDIR].value; in main()