mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 22:00:32 +00:00
3d0ed5992d
This commit complements issue #4004 with support for the depot/create tool. If CCACHE=1 is specified at the command line, the build directory for building a binary archive is configured with 'CCACHE := yes'.