This is not a tool but it is handled by the script, so update the help
to include it.
Signed-off-by: Simon Glass <s...@chromium.org>
---
scripts/make_pip.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/make_pip.sh b/scripts/make_pip.sh
index 25a4049271c9..d2639ffd6e43 100755
--- a/scripts/make_pip.sh
+++ b/scripts/make_pip.sh
@@ -39,7 +39,7 @@ flags="$*"
if [[ "${tool}" =~ ^(patman|buildman|dtoc|binman|u_boot_pylib)$ ]]; then
echo "Building dist package for tool ${tool}"
else
- echo "Unknown tool ${tool}: use patman, buildman, dtoc or binman"
+ echo "Unknown tool ${tool}: use u_boot_pylib, patman, buildman, dtoc or
binman"
exit 1
fi
--
2.43.0.rc0.421.g78406f8d94-goog
