diff options
author | Chris Lattner <sabre@nondot.org> | 2005-08-02 02:16:17 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2005-08-02 02:16:17 +0000 |
commit | f9aaae06cd2109082cda2b09ef3f23e0e1cff47b (patch) | |
tree | 2464ee9f4149dbeba1695647ba8e4c24dd23ae9b /tools/bugpoint/BugDriver.h | |
parent | fa8c292ebd893b3effef4ead9c88d261c628c340 (diff) | |
download | llvm-f9aaae06cd2109082cda2b09ef3f23e0e1cff47b.tar.gz llvm-f9aaae06cd2109082cda2b09ef3f23e0e1cff47b.tar.bz2 llvm-f9aaae06cd2109082cda2b09ef3f23e0e1cff47b.tar.xz |
When the user hits ctrl-c, bugpoint should attempt to stop reduction as
quickly as possible and output what it has so far. If they hit it twice,
bugpoint is killed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22579 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/bugpoint/BugDriver.h')
-rw-r--r-- | tools/bugpoint/BugDriver.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/bugpoint/BugDriver.h b/tools/bugpoint/BugDriver.h index 51798d29a5..192ed52717 100644 --- a/tools/bugpoint/BugDriver.h +++ b/tools/bugpoint/BugDriver.h @@ -35,6 +35,10 @@ class GCC; extern bool DisableSimplifyCFG; +/// BugpointIsInterrupted - Set to true when the user presses ctrl-c. +/// +extern bool BugpointIsInterrupted; + class BugDriver { const std::string ToolName; // Name of bugpoint std::string ReferenceOutputFile; // Name of `good' output file |