From aec5ec2d5785a57ac32875edca7ffb054f353731 Mon Sep 17 00:00:00 2001 From: Dmitry Selyutin Date: Thu, 30 Nov 2017 22:53:18 +0300 Subject: [PATCH] parser: group miscellaneous options in dict --- pygnulib/parser.py | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/pygnulib/parser.py b/pygnulib/parser.py index 7db26595dc..4256d9c24b 100644 --- a/pygnulib/parser.py +++ b/pygnulib/parser.py @@ -941,9 +941,7 @@ class CommandLine: fmt = "--{0}: expected at least one argument" self.__parser.error(fmt.format(mode)) verbosity = namespace.pop("verbosity", 0) - if namespace.pop("dry_run", False): - options |= CommandLine.Option.DryRun - if namespace.pop("single_configure", False): - options |= CommandLine.Option.SingleConfigure - namespace.pop("no_changelog", None) + options = dict(namespace) + options.setdefault("dry_run", False) + options.setdefault("single_configure", False) return (namespace, mode, verbosity, options) -- 2.39.5