equal
deleted
inserted
replaced
631 boolean wantSourceFiles = !sourceKinds.isEmpty(); |
631 boolean wantSourceFiles = !sourceKinds.isEmpty(); |
632 |
632 |
633 boolean haveSourcePath = includeSourcePath && fileManager.hasLocation(SOURCE_PATH); |
633 boolean haveSourcePath = includeSourcePath && fileManager.hasLocation(SOURCE_PATH); |
634 |
634 |
635 if (verbose && verbosePath) { |
635 if (verbose && verbosePath) { |
|
636 verbosePath = false; // print once per compile |
636 if (fileManager instanceof StandardJavaFileManager) { |
637 if (fileManager instanceof StandardJavaFileManager) { |
637 StandardJavaFileManager fm = (StandardJavaFileManager)fileManager; |
638 StandardJavaFileManager fm = (StandardJavaFileManager)fileManager; |
638 if (haveSourcePath && wantSourceFiles) { |
639 if (haveSourcePath && wantSourceFiles) { |
639 List<Path> path = List.nil(); |
640 List<Path> path = List.nil(); |
640 for (Path sourcePath : fm.getLocationAsPaths(SOURCE_PATH)) { |
641 for (Path sourcePath : fm.getLocationAsPaths(SOURCE_PATH)) { |