summaryrefslogtreecommitdiff
path: root/src/lib/gnat/Makefile.inc
diff options
context:
space:
mode:
authorNico Huber <nico.h@gmx.de>2018-11-04 17:44:14 +0100
committerPatrick Georgi <pgeorgi@google.com>2018-11-16 10:06:02 +0000
commit9b731b5c08635580a8b8ade237bb62f4f4e6ac24 (patch)
tree8cbd5b36240c14b38b2477fc599d77699cfe7727 /src/lib/gnat/Makefile.inc
parent3693294112a717aeb3f14db80f9e753dd376ca58 (diff)
util/docker: Use common .ccache for local builds
Bind a volume for .ccache to the `docker-run-local` targets. By default the current user's $(HOME)/.ccache will be used, it can be overridden via the DOCKER_CCACHE variable. Also rearrange some docker parameters to keep the target readable. Change-Id: I7d0bdb3861ac56361cacfa74aaf8b45c4f135e5c Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.coreboot.org/29457 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/lib/gnat/Makefile.inc')
0 files changed, 0 insertions, 0 deletions