Christian Prochaska 493bcc80df dde_rump: don't build non-Genode shared libraries ...

Fixes #1512

2015-05-26 09:39:48 +02:00

..

build.patch

dde_rump: Update to current version

2015-01-20 11:23:49 +01:00

evbarm.patch

…

lock.patch

dde_rump: Update to current version

2015-01-20 11:23:49 +01:00

mk.patch

dde_rump: Update to current version

2015-01-20 11:23:49 +01:00

no_shared_libs.patch

dde_rump: don't build non-Genode shared libraries

2015-05-26 09:39:48 +02:00