DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT <http://nagoya.apache.org/bugzilla/show_bug.cgi?id=20205>. ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND INSERTED IN THE BUG DATABASE.
http://nagoya.apache.org/bugzilla/show_bug.cgi?id=20205 [PATCH] Small performance and doc fix for DifferentSelector Summary: [PATCH] Small performance and doc fix for DifferentSelector Product: Ant Version: 1.6Alpha (nightly) Platform: Other OS/Version: Other Status: NEW Severity: Enhancement Priority: Other Component: Core tasks AssignedTo: [EMAIL PROTECTED] ReportedBy: [EMAIL PROTECTED] Hi, The docs for the <different> selector incorrectly state that the default for ignoreFileTimes is true. The attached patch fixes this. While poking in the source, I also noticed that a simple optimization can be made: don't check the file timestamps if ignoreFileTimes is true. The patch also makes this change. Thanks, --Jeff
