diff options
| author | Nico Huber <nico.h@gmx.de> | 2018-11-04 17:26:14 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-11-16 09:43:51 +0000 |
| commit | 674ed24075d2c61f69db8f33b49aa0a6a24ffc5e (patch) | |
| tree | e401a643d0b11c4f1cfaebf4eefa2f41267f0f16 /src | |
| parent | 271b8a5f81b2363218eb8768754001bd4658c92b (diff) | |
util/docker: Unify local build targets
Add a `docker-run-local` target that is used as a template for the
local build targets (`docker-build-coreboot`, `docker-abuild`, and
`docker-what-jenkins-does`).
Note this changes the user for `docker-what-jenkins-does` which has
(ccache) issues if it's not `root`. Will be fixed in a follow-up.
Change-Id: I9088fb9211726cddc37b17ddf70170c2c382679e
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/29456
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions