diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-07-24 07:41:31 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-07-24 07:41:31 +0000 |
| commit | de0213b9f551fa1fb0743f6b1150205180be5c9c (patch) | |
| tree | 89e2aec7e6ed381849a5a79a915572cd69311fe7 /tools/bugpoint/ToolRunner.h | |
| parent | 060913cce42d8b746194c7ebd8b19c9789a03909 (diff) | |
| download | external_llvm-de0213b9f551fa1fb0743f6b1150205180be5c9c.zip external_llvm-de0213b9f551fa1fb0743f6b1150205180be5c9c.tar.gz external_llvm-de0213b9f551fa1fb0743f6b1150205180be5c9c.tar.bz2 | |
Add support for killing the program if it executes for too long.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15158 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/bugpoint/ToolRunner.h')
0 files changed, 0 insertions, 0 deletions