dg-extract-results.py: New file.
commit0af7b53a8b616c230fcaa2eb92901e4ed96782a4
authorRichard Sandiford <rdsandiford@googlemail.com>
Thu, 8 May 2014 20:24:33 +0000 (8 20:24 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Thu, 8 May 2014 20:24:33 +0000 (8 20:24 +0000)
tree4e19a04307373fec45e6b13996a0ea720bc3058f
parente70c7f5bc7db5a1cac513a57f1846211e6413cec
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
contrib/ChangeLog
contrib/dg-extract-results.py [new file with mode: 0644]
contrib/dg-extract-results.sh