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 /util/docker | |
| 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 'util/docker')
| -rw-r--r-- | util/docker/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/Makefile b/util/docker/Makefile index 619de854c0..808a1d7ae5 100644 --- a/util/docker/Makefile +++ b/util/docker/Makefile @@ -193,7 +193,7 @@ help: @echo " doc.coreboot.org - Build doc.coreboot.org container" @echo " clean-coreboot-containers - Remove all docker coreboot containers" @echo " clean-coreboot-images - Remove all docker coreboot images" - @echo " clean-docker - Remove docker coreboot containers & images" + @echo " docker-clean - Remove docker coreboot containers & images" @echo @echo "Commands for using docker images" @echo " docker-build-coreboot - Build coreboot under coreboot-sdk" |