Merge pull request #10214 from pgavlin/TimeoutCrashDumps
authorPat Gavlin <pgavlin@gmail.com>
Thu, 16 Mar 2017 18:49:26 +0000 (11:49 -0700)
committerGitHub <noreply@github.com>
Thu, 16 Mar 2017 18:49:26 +0000 (11:49 -0700)
commit0d02d3bc5cab6ea40c4c431cbbcc7e14a5332835
tree7690b6bc973e1d4c2e9e7c8810b92fb05fff03fd
parent7d8e1382eea401386890bc38065fa9b8ef76141e
parent6f30002fc917cdacd4d0565f05ded920ab17f830
Merge pull request #10214 from pgavlin/TimeoutCrashDumps

Take crash dumps for timed-out tests.
tests/runtest.cmd