tests/run-tests.py
changeset 8843 eb7b247a98ea
parent 8724 6e41d3c5619f
child 8943 09ff905cdc86
equal deleted inserted replaced
8842:acd03a6e2426 8843:eb7b247a98ea
    14 #   - tests are a mix of shell scripts and Python scripts
    14 #   - tests are a mix of shell scripts and Python scripts
    15 #
    15 #
    16 # If you change this script, it is recommended that you ensure you
    16 # If you change this script, it is recommended that you ensure you
    17 # haven't broken it by running it in various modes with a representative
    17 # haven't broken it by running it in various modes with a representative
    18 # sample of test scripts.  For example:
    18 # sample of test scripts.  For example:
    19 # 
    19 #
    20 #  1) serial, no coverage, temp install:
    20 #  1) serial, no coverage, temp install:
    21 #      ./run-tests.py test-s*
    21 #      ./run-tests.py test-s*
    22 #  2) serial, no coverage, local hg:
    22 #  2) serial, no coverage, local hg:
    23 #      ./run-tests.py --local test-s*
    23 #      ./run-tests.py --local test-s*
    24 #  3) serial, coverage, temp install:
    24 #  3) serial, coverage, temp install: