mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00:00
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.