[PATCH v2 0/5] binman: Tidy up the location for bintools

[Simon Glass]

This series makes the directory used for downloaded bintools
configurable and changes the default to something that is unlikely to be
unintentionally on the user's path. See [1] for discussion relating to
this.

[1] https://patchwork.ozlabs.org/project/uboot/patch/20230210135941.1.I81a5b410c8645752b44ba7afa2c4406f7c80f3d2@changeid/

Changes in v2:
- Add comment about setting of tooldir
- Change default tooldir to an empty string
- Use exist_ok with os.makedirs()

Simon Glass (5):
  binman: Correct an 'aot' typo
  binman: Update bintools documentation
  binman: Move the tools directory into the Bintool class
  binman: Use a private directory for bintools
  binman: Make the tooldir configurable

 tools/binman/binman.rst      | 19 ++++++++--
 tools/binman/bintool.py      | 16 ++++++---
 tools/binman/bintool_test.py | 15 +++++---
 tools/binman/bintools.rst    | 70 ++++++++++++++++++++++++++++++++++++
 tools/binman/cmdline.py      |  6 +++-
 tools/binman/control.py      | 10 ++++--
 tools/binman/ftest.py        | 21 +++++++++--
 7 files changed, 140 insertions(+), 17 deletions(-)

-- 
2.39.2.637.g21b0678d19-goog