[webkit-dev] What's up with the WX bot?

[Darin Adler]

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