[Webkit-unassigned] [Bug 46638] New: Build: removal of public WebCore headers not handled properly during incremental build

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=46638

           Summary: Build: removal of public WebCore headers not handled
                    properly during incremental build
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
        OS/Version: Windows 7
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: caseq at chromium.org


The build script copies public WebCore header files to WebKitBuild/include. Apparently, when a header is removed from source tree, it is not reflected in WebKitBuild/include during an incremental build. Hence, if there's still a file in WebKit that depends on the removed header, the compilation does not fail.

See http://trac.webkit.org/changeset/68384 & http://trac.webkit.org/changeset/68371 for example of this happening (the bots did not indicate a build failure).

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