]> Savannah Git Hosting - gnulib.git/commitdiff
parser: group miscellaneous options in dict
authorDmitry Selyutin <ghostmansd@gmail.com>
Thu, 30 Nov 2017 19:53:18 +0000 (22:53 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Thu, 30 Nov 2017 19:53:18 +0000 (22:53 +0300)
pygnulib/parser.py

index 7db26595dc03a4901a221f8cda2d30e6f8ff41b3..4256d9c24b3875f4b5a0a3ff450b1b93cf57259f 100644 (file)
@@ -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)