dg-extract-results.sh
12.7 KB
-
dg-extract-results.py: New file. · 0af7b53acontrib/ * dg-extract-results.py: New file. * dg-extract-results.sh: Use it if the environment seems suitable. From-SVN: r210243
Richard Sandiford committed
contrib/ * dg-extract-results.py: New file. * dg-extract-results.sh: Use it if the environment seems suitable. From-SVN: r210243