Merge pull request #10240 from pgavlin/fixerrorlevel
authorPat Gavlin <pgavlin@gmail.com>
Fri, 17 Mar 2017 00:08:05 +0000 (17:08 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2017 00:08:05 +0000 (17:08 -0700)
Fix test failure detection when dumps are enabled.


Trivial merge