From 7c88e51d79fd1468cc319fe97a8bd3c1c1d14402 Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Thu, 13 Mar 2025 23:58:48 +0100 Subject: [PATCH] Added missing exit --- main.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/main.py b/main.py index 0452b61..422c02d 100755 --- a/main.py +++ b/main.py @@ -212,7 +212,8 @@ For detailed help on each command, use: if args.command in ["make"]: exec_proxy_command(args.command,selected, repositories_base_dir, all_repos_list, args.subcommand, args.extra_args, args.preview) - + exit(0) + # Dispatch commands. if args.command == "install": install_repos(selected,repositories_base_dir, BIN_DIR, all_repos_list, args.no_verification, preview=args.preview, quiet=args.quiet)