genode/repos/ports/lib/mk/virtualbox5-debug.inc

2 lines
41 B
HTML

VBOX_CC_OPT += -DRT_STRICT -DVBOX_STRICT