Issue #6293: Have regrtest.py echo back sys.flags.  This is done by default
in whole runs and enabled selectively using `--header` when running an
explicit list of tests.  Original patch by Collin Winter.
2 files changed