On Tue, Nov 17, 2015 at 02:45:17PM +0000, Peter Maydell wrote: > On 12 November 2015 at 19:02, Eduardo Habkost <ehabk...@redhat.com> wrote: [...] > > +void cocoa_display_init(DisplayState *ds, int full_screen) > > +{ > > + /* This must never be called if CONFIG_COCA is disabled */ > > "CONFIG_COCOA".
Will be fixed in next version. Thanks! -- Eduardo