diff options
author | Martin Roth <gaumless@gmail.com> | 2016-12-31 14:59:29 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2017-04-04 01:49:59 +0200 |
commit | 85782b21527b54ae5ac496bf27c1416e4d6aae68 (patch) | |
tree | e5594b9d74ceebc9c09919c94025afe383268a02 /src | |
parent | e0c53af470feae1d7d66dc4aa9d067402a468626 (diff) | |
download | coreboot-85782b21527b54ae5ac496bf27c1416e4d6aae68.tar.xz |
util/docker: Update makefile for servers and local use
- Add some variables to allow server customizations.
- Verify that coreboot images and containers exist before trying to
remove them.
- Add a couple of convenience targets: clean & cleanall to remove
coreboot containers and images or ALL containers and images.
- Add docker-what-jenkins-does target to run a test build locally inside
a docker image.
- Add docker-jenkins-server target to test the server configuration and
run the jenkins docker image.
- Add docker-jenkins-shell and docker-shell targets to run the
coreboot-sdk and coreboot-jenkins-server images.
- Update the help.
Change-Id: I1896f33e7eddfe3248f44ae780de65ce50d5dd99
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/18004
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions