mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-04 05:21:19 +00:00
d33139c40a
Genode build system allows to easily enable 'ccache' for builds. This change allows to enable using 'ccache' also for build of reference Linux kernel used during porting device drivers. To enable 'ccache' it is enough to pass value of 'CC' variable when executing Linux build but this build by default depends on time when it is built which causes 'ccache' misses. To solve this issue additional flags are passed to make build independent from time, current user and host on which build is performed. Issue #4718