src/sage/doctest/control.py: Log 'Using --baseline-stats-path=...'

Author: Matthias Koeppe

src/sage/doctest/control.py

@@ -1171,6 +1171,8 @@ def run_doctests(self):
             iterations = ", ".join(iterations)
             if iterations:
                 iterations = " (%s)" % (iterations)
+            if self.baseline_stats:
+                self.log(f"Using --baseline-stats-path={self.options.baseline_stats_path}")
             self.log("Doctesting %s%s%s." % (filestr, threads, iterations))
             self.reporter = DocTestReporter(self)
             self.dispatcher = DocTestDispatcher(self)