diff options
| author | Simon Glass <sjg@chromium.org> | 2017-09-05 01:53:59 -0600 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2017-09-05 20:34:09 -0400 |
| commit | 84a42069f253554dbc2c7b4bbd28149a7a88c0ab (patch) | |
| tree | f7b3c12a767e9c88b165b9fbd16c6600daa79101 /disk | |
| parent | 573329571435eae967182baf94b2146188fb1ee5 (diff) | |
env: Add 'envtools' target to 'make help'
The target is not currently mentioned anywhere. Add it to the help so
people can find it.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'disk')
0 files changed, 0 insertions, 0 deletions