diff options
| author | Martin Roth <gaumless@gmail.com> | 2023-07-31 09:19:09 -0600 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2023-08-15 16:49:12 +0000 |
| commit | 54216dd9aa6f973b95599e160d8c6f7f6747451e (patch) | |
| tree | 8f883dbf5a33e18643ca0e89e10f53d453e2a968 /src/include/device/resource.h | |
| parent | 3749c9f1c46c83bf51e9e38ad8d62c025fdc68e5 (diff) | |
util/docker: Add docker-jenkins-shell target
The docker-shell target was originally intended to point at the
docker-jenkins-node image, and was documented as such. It was actually
split into two targets - docker-shell and docker-jenkins-shell.
This fixes the documentation for docker-shell and adds new help
for docker-jenkins-shell. The docker-jenkins-shell target is also
noted as phoney now.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: Ib3ce82f6a73a2f81e5ae51ce8063ae4e59ef67db
Reviewed-on: https://review.coreboot.org/c/coreboot/+/76854
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to 'src/include/device/resource.h')
0 files changed, 0 insertions, 0 deletions