[lit] Try to improve Ctrl-C behavior on Windows
authorReid Kleckner <rnk@google.com>
Fri, 17 Nov 2017 23:52:33 +0000 (23:52 +0000)
committerReid Kleckner <rnk@google.com>
Fri, 17 Nov 2017 23:52:33 +0000 (23:52 +0000)
commit6810c20c1bf42a866379d01930414fd13d6a8eb6
treec597ef5646b095eeaa210129f65128b783dd2ba1
parent41bfed13ca4129dfcbad13027fdf27dd892d2589
[lit] Try to improve Ctrl-C behavior on Windows

This functionality was broken during a refactor a while back because
'pool' is no longer in scope.

llvm-svn: 318572
llvm/utils/lit/lit/run.py