blob: 385f0bbe9ef6a907c098cb59fd10399f77eb1b17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/sage/doctest/control.py.orig 2015-10-31 09:40:55.173671531 +0100
+++ src/sage/doctest/control.py 2015-10-31 09:40:05.370125436 +0100
@@ -253,7 +253,7 @@
if 'optional' in options.optional:
options.optional.discard('optional')
from sage.misc.package import package_versions
- optional_pkgs = package_versions("optional", local=True)
+ optional_pkgs = {}
for pkg, versions in optional_pkgs.items():
if versions[0] == versions[1]:
options.optional.add(pkg)
|
