diff options
Diffstat (limited to 'contrib/ChangeLog')
-rw-r--r-- | contrib/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 4d98be7..6f90f48 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2014-05-08 Richard Sandiford <rdsandiford@googlemail.com> + + * dg-extract-results.py: New file. + * dg-extract-results.sh: Use it if the environment seems suitable. + 2014-04-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * config-list.mk (LIST): Remove sparc-sun-solaris2.9, i686-solaris2.9. |