contrib/
commite5284f78852783f967d1b1a33845c1e63342fece
authorrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 May 2014 20:24:33 +0000 (8 20:24 +0000)
committerrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 May 2014 20:24:33 +0000 (8 20:24 +0000)
tree4e19a04307373fec45e6b13996a0ea720bc3058f
parent77cea0812ba79c7578fe68e3185d25e2bb8fe9f9
contrib/
* dg-extract-results.py: New file.
* dg-extract-results.sh: Use it if the environment seems suitable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210243 138bc75d-0d04-0410-961f-82ee72b054a4
contrib/ChangeLog
contrib/dg-extract-results.py [new file with mode: 0644]
contrib/dg-extract-results.sh