Report DejaGnu ERROR messages in dg-extract-results.
commitae96b054541acc606d6a9401aa4551f5ef53a21d
authorclyon <clyon@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 Sep 2016 20:15:30 +0000 (20 20:15 +0000)
committerclyon <clyon@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 Sep 2016 20:15:30 +0000 (20 20:15 +0000)
tree54a8fdc97498cbda100740b8dc6ef26a5105acb1
parent2e99c3fd71ef006280e5cb28bd02d12b0068cb1e
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@240289 138bc75d-0d04-0410-961f-82ee72b054a4
contrib/ChangeLog
contrib/dg-extract-results.py
contrib/dg-extract-results.sh