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

Fixes #1512

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

..

build.patch

…

evbarm.patch

…

lock.patch

…

mk.patch

…

no_shared_libs.patch

dde_rump: don't build non-Genode shared libraries

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