WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
NEW
46638
Build: removal of public WebCore headers not handled properly during incremental build
https://bugs.webkit.org/show_bug.cgi?id=46638
Summary
Build: removal of public WebCore headers not handled properly during incremen...
Andrey Kosyakov
Reported
2010-09-27 11:41:09 PDT
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).
Attachments
Add attachment
proposed patch, testcase, etc.
Eric Seidel (no email)
Comment 1
2010-09-27 11:43:34 PDT
Thank you for filing. There are lots of windows build issues. We need to slowly find them all and fix them all to keep our sanity. :)
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug