
19 Nov
2023
19 Nov
'23
4:36 p.m.
This is not a tool but it is handled by the script, so update the help to include it.
Signed-off-by: Simon Glass sjg@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