diff --git a/tools/install_venv.py b/tools/install_venv.py index e96521ea..38963c9d 100644 --- a/tools/install_venv.py +++ b/tools/install_venv.py @@ -68,4 +68,4 @@ def main(argv): print_help(venv, root) if __name__ == '__main__': - main(sys.argv) + sys.exit(main(sys.argv))