[Splashy-devel] Help with debugging

[Tim Richardson]

In splashy_video.c there are these lines: 

splashy_start_splash ()

	DirectFBSetOption ("quiet", NULL);
        DirectFBSetOption ("no-debug", NULL);
        DirectFBSetOption ("graphics-vt", NULL);
        DirectFBSetOption ("no-cursor", NULL);


What is the correct way to turn on debugging for directfb?  

I find the directfb reference manual no help.