From 5c23cc9dfb4d124bc588c3763bf26a2b87ba7cc6 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 8 Jul 2021 11:09:06 -0700 Subject: [PATCH] DocTestReporter: Fix 'sage -t --optional=all' --- src/sage/doctest/reporting.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sage/doctest/reporting.py b/src/sage/doctest/reporting.py index 3752213e50a..1074ee8c7ea 100644 --- a/src/sage/doctest/reporting.py +++ b/src/sage/doctest/reporting.py @@ -141,7 +141,7 @@ def have_optional_tag(self, tag): False """ - if tag in self.controller.options.optional: + if self.controller.options.optional is True or tag in self.controller.options.optional: return True if 'external' in self.controller.options.optional: if tag in available_software.seen():