[Webkit-unassigned] [Bug 11322] New: move-js-headers.sh causes unnecessary source rebuilds

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=11322

           Summary: move-js-headers.sh causes unnecessary source rebuilds
           Product: WebKit
           Version: 420+ (nightly)
          Platform: All
        OS/Version: All
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
        AssignedTo: webkit-unassigned at opendarwin.org
        ReportedBy: kevino at theolliviers.com


Since the cp operation in move-js-headers.sh does not use the -p option to
preserve the modification time of the original file, make thinks that all the
headers in WebCore/include/JavaScriptCore have been modified since the last
build, and thus forces a rebuild of all sources that depend on them. The
attached patch adds the -p option to stop this from happening.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.