Hadrian: fix --summary
Fix ./validate
with Hadrian failing with:
usage: runtests.py [-h] [-e E] [--config-file CONFIG_FILE] [--config CONFIG] [--rootdir ROOTDIR]
[--metrics-file METRICS_FILE] [--summary-file SUMMARY_FILE] [--no-print-summary] [--only ONLY]
[--way WAY] [--skipway SKIPWAY] [--threads THREADS] [--verbose {0,1,2,3,4,5}] [--junit JUNIT]
[--broken-test BROKEN_TEST] [--test-env TEST_ENV] [--skip-perf-tests | --only-perf-tests]
runtests.py: error: unrecognized arguments: --summary-file "/home/hsyl20/projects/ghc/integer/testsuite_summary.txt"
Note that usage reported by testsuite/driver/runtests.py
is wrong (missing =
)