mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37: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. |
||
---|---|---|
.. | ||
import | ||
mk |