diff options
| author | Ben Smith <binji@chromium.org> | 2015-09-25 16:50:55 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2015-09-25 16:50:55 -0700 |
| commit | ed3856044cd17686a626c895cbf4f9441f543923 (patch) | |
| tree | 9fcda990a60fbd4279294d35d68a3fb27adbef0e /.gitmodules | |
| parent | e56551a523ae4414aa80f343fda9d65fb23976c9 (diff) | |
| download | wabt-ed3856044cd17686a626c895cbf4f9441f543923.tar.gz wabt-ed3856044cd17686a626c895cbf4f9441f543923.tar.bz2 wabt-ed3856044cd17686a626c895cbf4f9441f543923.zip | |
better timeout/keyboard interrupt in run-tests.py
It's still not perfect, but it shouldn't ever leak processes now...
*fingers crossed*
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions