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