]> Savannah Git Hosting - gnulib.git/commitdiff
module: relax type check after the last commit
authorDmitry Selyutin <ghostmansd@gmail.com>
Tue, 26 Sep 2017 07:13:38 +0000 (10:13 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Tue, 26 Sep 2017 07:13:38 +0000 (10:13 +0300)
pygnulib/module.py

index 8256d9ce808ef6138b11316b55b8c46c6d460ba0..780ba58d3bcf95caa17a32a1c02f86e6070d6ee1 100644 (file)
@@ -457,7 +457,9 @@ class Table:
         """
         if not callable(lookup):
             raise TypeError("lookup must be a callable")
-        _type_assert_("options", options, _ConfigOption_)
+        _type_assert_("options", options, int)
+        if options & ~_ConfigOption_.All:
+            raise ValueError("unknown configuration options")
 
         obsolete = bool(options & _ConfigOption_.Obsolete)
         tests = bool(options & _ConfigOption_.Tests)