diff options
Diffstat (limited to 'tools/bugpoint/BugDriver.h')
| -rw-r--r-- | tools/bugpoint/BugDriver.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/bugpoint/BugDriver.h b/tools/bugpoint/BugDriver.h index 3de7b055f9..ef8118c58f 100644 --- a/tools/bugpoint/BugDriver.h +++ b/tools/bugpoint/BugDriver.h @@ -50,6 +50,7 @@ class BugDriver { bool run_as_child; bool run_find_bugs; unsigned Timeout; + unsigned MemoryLimit; // FIXME: sort out public/private distinctions... friend class ReducePassList; @@ -57,7 +58,7 @@ class BugDriver { public: BugDriver(const char *toolname, bool as_child, bool find_bugs, - unsigned timeout); + unsigned timeout, unsigned memlimit); const std::string &getToolName() const { return ToolName; } |