Searched refs:ignorelist (Results 1 – 1 of 1) sorted by relevance
133 String ignorelist = null; in setup() local151 ignorelist = args[++i]; in setup()158 if (ignorelist != null) { in setup()159 if (ignorelist.charAt(0) == '@') { // a file containing ignoreinfo in setup()187 ignore = ignorelist.split("\\s*;\\s*"); in setup()