genode/repos/ports/lib/mk/virtualbox5-debug.inc
2018-09-20 09:07:31 +02:00

2 lines
41 B
HTML

VBOX_CC_OPT += -DRT_STRICT -DVBOX_STRICT