genode/repos/ports/lib/mk
Christian Prochaska c11b02dfd4 gdb: save generated files in the build directory
Fixes #1435
2015-03-13 12:17:26 +01:00
..
fiasco_x86 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
foc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
foc_arm Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
foc_x86_32 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
linux Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
linux_x86_32 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
nova Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
nova_x86_32 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
okl4 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
okl4_x86 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pistachio Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pistachio_x86 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
x86_32 vbox: enable guest additions 2014-05-27 13:45:58 +02:00
gdbserver_libc_support.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
gdbserver_platform.inc gdb: save generated files in the build directory 2015-03-13 12:17:26 +01:00
libc_noux.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
seoul_libc_support.mk libports: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
virtualbox-bios.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
virtualbox-common.inc vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-devices.mk vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-dis.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
virtualbox-drivers.mk vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-liblzf.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
virtualbox-main.mk vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-recompiler.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
virtualbox-runtime.mk vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-storage.mk vbox: update to virtualbox 4.3.16 2014-11-28 12:02:40 +01:00
virtualbox-vmm.mk vbox: enable usb support for guests 2015-03-13 12:17:23 +01:00
virtualbox-xml.mk vbox: update to virtualbox 4.3.16 2014-11-28 12:02:40 +01:00
virtualbox-zlib.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00