mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
60fa8ade1a
This effectively enables configuring builds with -O0 for rump sources. Note, if the build directory is not clean, at least var/libcache/rump* should be removed before building with changed etc/tools.conf. |
||
---|---|---|
.. | ||
spec | ||
rump_base.inc | ||
rump_cgd.mk | ||
rump_fs.mk | ||
rump.inc |