mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 11:10:24 +00:00
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'.