genode/repos/ports/lib/mk/spec/foc/gdbserver_platform.mk
Christian Prochaska 7a0bcbbccb gdb_monitor: API transition
Issue #1987
2017-01-13 13:07:04 +01:00

2 lines
31 B
Makefile

LIBS += gdbserver_platform_foc