Ticket #12720: 12720_script.patch

File 12720_script.patch, 1.0 KB (added by roed, 7 years ago)
  • sage-runtests

    # HG changeset patch
    # User David Roe <roed.math@gmail.com>
    # Date 1363325650 21600
    # Node ID 258442f4a80859f4079b3cbe90b53d79262f7ff4
    # Parent  bdfa1f13b7d86472062c2c7c0d19a8716f442a27
    Changes to script repo for speed-regression database
    
    diff --git a/sage-runtests b/sage-runtests
    a b  
    6363    parser.add_option("--stats_path", "--stats-path", default=os.path.join(os.path.expanduser("~/.sage/timings2.json")), \
    6464                          help="path to a json dictionary for the latest run storing a timing for each file")
    6565
     66    # Database stuff
     67    parser.add_option("--database", metavar="/path/to/db.sqlite", help="database to store timing data")
     68    parser.add_option("--label", help="label for this run in the database")
     69    parser.add_option("--rerun", default="", help="reruns doctests from a previous run: version or run_id or date", metavar="SQL_CLAUSE")
     70
    6671    parser.set_usage("sage -t [options] filenames")
    6772    from sage.doctest.control import DocTestController
    6873    options, args = parser.parse_args()