The WX bot has been failing for a while (maybe weeks) with these errors:
platform/wx/RenderThemeWx.cpp: In member function 'virtual bool
WebCore::RenderThemeWx::paintButton(WebCore::RenderObject*, const
WebCore::RenderObject::PaintInfo&, const WebCore::IntRect&)':
platform/wx/RenderThemeWx.cpp:263: error: 'wxRenderer_DrawRadioButton'
was not declared in this scope
platform/wx/RenderThemeWx.cpp: In member function 'virtual bool
WebCore::RenderThemeWx::paintTextField(WebCore::RenderObject*, const
WebCore::RenderObject::PaintInfo&, const WebCore::IntRect&)':
platform/wx/RenderThemeWx.cpp:286: error: 'wxRenderer_DrawTextCtrl'
was not declared in this scope
platform/wx/RenderThemeWx.cpp: In member function 'virtual bool
WebCore::RenderThemeWx::paintMenuList(WebCore::RenderObject*, const
WebCore::RenderObject::PaintInfo&, const WebCore::IntRect&)':
platform/wx/RenderThemeWx.cpp:319: error: 'wxRenderer_DrawChoice' was
not declared in this scope
This looks like something that can only be fixed by doing something to
the slave machine, perhaps installing a different version of WX?
Until this is fixed this bot will always be red, and folks working on
WebKit can't do anything about it. Can someone fix this?
-- Darin
_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
