equal
deleted
inserted
replaced
444 log.warning(LintCategory.OPTIONS, "option.obsolete.source", source.name); |
444 log.warning(LintCategory.OPTIONS, "option.obsolete.source", source.name); |
445 obsoleteOptionFound = true; |
445 obsoleteOptionFound = true; |
446 } |
446 } |
447 |
447 |
448 if (target.compareTo(Target.JDK1_5) <= 0) { |
448 if (target.compareTo(Target.JDK1_5) <= 0) { |
449 log.warning(LintCategory.OPTIONS, "option.obsolete.target", source.name); |
449 log.warning(LintCategory.OPTIONS, "option.obsolete.target", target.name); |
450 obsoleteOptionFound = true; |
450 obsoleteOptionFound = true; |
451 } |
451 } |
452 |
452 |
453 if (obsoleteOptionFound) |
453 if (obsoleteOptionFound) |
454 log.warning(LintCategory.OPTIONS, "option.obsolete.suppression"); |
454 log.warning(LintCategory.OPTIONS, "option.obsolete.suppression"); |