Report DejaGnu ERROR messages in dg-extract-results.
authorChristophe Lyon <christophe.lyon@linaro.org>
Tue, 20 Sep 2016 20:15:30 +0000 (20:15 +0000)
committerChristophe Lyon <clyon@gcc.gnu.org>
Tue, 20 Sep 2016 20:15:30 +0000 (22:15 +0200)
commitaa9baacfc94e6147c84d5e0fbbd32dd948e7c8cf
tree54a8fdc97498cbda100740b8dc6ef26a5105acb1
parentb0a5704b4cd613c9ce722e2a7de530ac6998cd8c
Report DejaGnu ERROR messages in dg-extract-results.

2016-09-20  Christophe Lyon  <christophe.lyon@linaro.org>

* dg-extract-results.py: Report DejaGnu error in the final
summary.
* dg-extract-results.sh: Likewise.

From-SVN: r240289
contrib/ChangeLog
contrib/dg-extract-results.py
contrib/dg-extract-results.sh