summarylogtreecommitdiffstats
path: root/test-optional.patch
diff options
context:
space:
mode:
authorAntonio Rojas2017-12-01 23:21:16 +0000
committerAntonio Rojas2017-12-01 23:21:16 +0000
commit77b7fbd4cbff662b98c569f9d0ef44e381ecfdc4 (patch)
tree819bb18b0e8f72b4b1fdb951a0faf5962c17555c /test-optional.patch
parente15ea535febc3b8cb196429feadfc41e72cc5ef4 (diff)
downloadaur-77b7fbd4cbff662b98c569f9d0ef44e381ecfdc4.tar.gz
Update
Diffstat (limited to 'test-optional.patch')
-rw-r--r--test-optional.patch2
1 files changed, 1 insertions, 1 deletions
diff --git a/test-optional.patch b/test-optional.patch
index 1918cbe5db77..1fae8b4962cc 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
-@@ -307,22 +307,6 @@
+@@ -320,22 +320,6 @@
if "all" in options.optional:
# Special case to run all optional tests
options.optional = True