summarylogtreecommitdiffstats
path: root/test-optional.patch
diff options
context:
space:
mode:
authorAntonio Rojas2018-08-18 21:57:26 +0000
committerAntonio Rojas2018-08-18 21:57:26 +0000
commit2f5d3b05dd76827c3fb675ad6e842fd40e5d0a58 (patch)
treee5482fad6aff8c43c7fcc65a4666c74e6cc05c30 /test-optional.patch
parentf90f86733f761439fef447b6780637a56174bbca (diff)
downloadaur-2f5d3b05dd76827c3fb675ad6e842fd40e5d0a58.tar.gz
Update
Diffstat (limited to 'test-optional.patch')
-rw-r--r--test-optional.patch5
1 files changed, 3 insertions, 2 deletions
diff --git a/test-optional.patch b/test-optional.patch
index 891f8181dc02..2bf95e204ecb 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,24 +326,6 @@
+@@ -326,25 +326,6 @@
if "all" in options.optional:
# Special case to run all optional tests
options.optional = True
@@ -21,7 +21,8 @@
- if not optionaltag_regex.search(o):
- raise ValueError('invalid optional tag {!r}'.format(o))
-
-- options.optional |= auto_optional_tags
+- if "sage" in options.optional:
+- options.optional |= auto_optional_tags
self.options = options
self.files = args