Searched refs:OPT_SOURCEDIR (Results 1 – 6 of 6) sorted by relevance
221 OPT_SOURCEDIR, enumerator302 if(options[OPT_SOURCEDIR].doesOccur) { in main()303 sourcePath=options[OPT_SOURCEDIR].value; in main()
228 OPT_SOURCEDIR, enumerator311 if(options[OPT_SOURCEDIR].doesOccur) { in main()312 sourcePath=options[OPT_SOURCEDIR].value; in main()
182 OPT_SOURCEDIR, enumerator294 const char* sourcedir = options[OPT_SOURCEDIR].value; in main()