diff options
| author | Wim Vervoorn <wvervoorn@eltan.com> | 2020-01-30 11:43:14 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-02-01 19:49:03 +0000 |
| commit | 60510733ae9c1b08bda51c3d97d42c63c00212b6 (patch) | |
| tree | 741289eedffec79ea9aac05d91abc14b365e5363 /AUTHORS | |
| parent | 02b29b9d01629a87cde707b6c9b6e8eaec0ed93f (diff) | |
util/docker/Makefile: Correct help output
The help output suggests clean-docker should be used to remove the
docker coreboot containers and images. The Makefile actually supports
the docker-clean target.
Corrected the help output to reflect the actual Makefile target.
BUG=N/A
TEST=build
Change-Id: Ib24f8e1ecdf3bdc31b3f8b484ce7ca0c19b645ee
Signed-off-by: Wim Vervoorn <wvervoorn@eltan.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38649
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Frans Hendriks <fhendriks@eltan.com>
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions