diff options
Diffstat (limited to 'test-optional.patch')
| -rw-r--r-- | test-optional.patch | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test-optional.patch b/test-optional.patch index 2bf95e204ecb..891f8181dc02 100644 --- a/test-optional.patch +++ b/test-optional.patch @@ -1,6 +1,6 @@ --- src/sage/doctest/control.py.orig 2016-10-20 19:39:53.714618246 +0200 +++ src/sage/doctest/control.py 2016-10-20 19:40:15.158049920 +0200 -@@ -326,25 +326,6 @@ +@@ -326,24 +326,6 @@ if "all" in options.optional: # Special case to run all optional tests options.optional = True @@ -21,8 +21,7 @@ - if not optionaltag_regex.search(o): - raise ValueError('invalid optional tag {!r}'.format(o)) - -- if "sage" in options.optional: -- options.optional |= auto_optional_tags +- options.optional |= auto_optional_tags self.options = options self.files = args |