From a670ae8ac34dff7c29f84744463a1c4aeb6892d4 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 8 May 2022 17:38:42 -0700 Subject: [PATCH] src/bin/sage-runtests: Update documentation of --optional --- src/bin/sage-runtests | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/bin/sage-runtests b/src/bin/sage-runtests index 1976bcee5d8..c1f0aee2c18 100755 --- a/src/bin/sage-runtests +++ b/src/bin/sage-runtests @@ -43,13 +43,14 @@ if __name__ == "__main__": # By default, include all tests marked 'sagemath_doc_html' -- see # https://trac.sagemath.org/ticket/25345 and # https://trac.sagemath.org/ticket/26110: - parser.add_argument("--optional", metavar="PKGS", default=_get_optional_defaults(), - help='only run tests including one of the "# optional" tags listed in PKGS; ' + parser.add_argument("--optional", metavar="FEATURES", default=_get_optional_defaults(), + help='only run tests including one of the "# optional" tags listed in FEATURES (separated by commas); ' 'if "sage" is listed, will also run the standard doctests; ' 'if "sagemath_doc_html" is listed, will also run the tests relying on the HTML documentation; ' - 'if "optional" is listed, will also run tests for installed optional (new-style) packages; ' + 'if "optional" is listed, will also run tests for installed optional packages or detected features; ' 'if "external" is listed, will also run tests for available external software; ' - 'if set to "all", then all tests will be run') + 'if set to "all", then all tests will be run; ' + 'use "!FEATURE" to disable FEATURE') parser.add_argument("--randorder", type=int, metavar="SEED", help="randomize order of tests") parser.add_argument("--random-seed", dest="random_seed", type=int, metavar="SEED", help="random seed (integer) for fuzzing doctests", default=os.environ.get("SAGE_DOCTEST_RANDOM_SEED"))