25308: fix --show-skipped for external softwares

sagemath · May 10, 2018 · 1bb26ff · 1bb26ff
1 parent 8bdc326
commit 1bb26ff
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/sage/doctest/reporting.py b/src/sage/doctest/reporting.py
@@ -39,6 +39,7 @@
 from sage.structure.sage_object import SageObject
 from sage.doctest.util import count_noun
 from sage.doctest.sources import DictAsObject
+from .external import available_software
 
 def signal_name(sig):
     """
@@ -454,7 +455,9 @@ def report(self, source, timeout, return_code, results, output, pid=None):
                                 elif tag in ("not tested", "not implemented"):
                                     untested += nskipped
                                 else:
-                                    if tag not in self.controller.options.optional:
+                                    if (tag not in self.controller.options.optional and
+                                       not ('external' in self.controller.options.optional
+                                           and tag in available_software.seen())):
                                         seen_other = True
                                         if tag == "bug":
                                             log("    %s not run due to known bugs"%(count_noun(nskipped, "test")))