- filterSources(s, new File(sourcedir), new char[0][]);
- if (DEBUG) System.out.println("working with "+s.size() +" sources");
+ for (int i=0; i < sourcedirs.length; i++) {
+ File src = new File(sourcedirs[i]);
+ if (!src.exists()) {
+ if (verbose) System.err.println("source directory not found: "+sourcedirs[i]);
+ continue;
+ }
+ filterSources(s, src, new char[0][], sourcedirs[i]);
+ }
+
+ if (verbose) System.out.println("working with "+s.size() +" sources");