1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index bf6abe5f6aa..c00683bdc95 100644
--- a/Makefile
+++ b/Makefile
@@ -2285,6 +2285,7 @@ _pip:
 	scripts/make_pip.sh patman ${PIP_ARGS}
 	scripts/make_pip.sh buildman ${PIP_ARGS}
 	scripts/make_pip.sh dtoc ${PIP_ARGS}
+	scripts/make_pip.sh binman ${PIP_ARGS}
 
 help:
 	@echo  'Cleaning targets:'