diff options
| author | Richard Sandiford <rdsandiford@googlemail.com> | 2014-05-08 20:24:33 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2014-05-08 20:24:33 +0000 |
| commit | 0af7b53a8b616c230fcaa2eb92901e4ed96782a4 (patch) | |
| tree | 4e19a04307373fec45e6b13996a0ea720bc3058f /gcc | |
| parent | e70c7f5bc7db5a1cac513a57f1846211e6413cec (diff) | |
| download | gcc-0af7b53a8b616c230fcaa2eb92901e4ed96782a4.zip gcc-0af7b53a8b616c230fcaa2eb92901e4ed96782a4.tar.gz gcc-0af7b53a8b616c230fcaa2eb92901e4ed96782a4.tar.bz2 | |
dg-extract-results.py: New file.
contrib/
* dg-extract-results.py: New file.
* dg-extract-results.sh: Use it if the environment seems suitable.
From-SVN: r210243
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions