From c3e6859d8dc9014fee8023497153add9a2148f22 Mon Sep 17 00:00:00 2001 From: Jeffrey Yasskin Date: Fri, 19 Mar 2010 00:09:28 +0000 Subject: Bugpoint's default memory limit (100MB) was too low for valgrind, so this patch raises the default to 800MB when valgrind's active. 800 was chosen semi-arbitrarily. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@98905 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/bugpoint/OptimizerDriver.cpp | 2 -- 1 file changed, 2 deletions(-) (limited to 'tools/bugpoint/OptimizerDriver.cpp') diff --git a/tools/bugpoint/OptimizerDriver.cpp b/tools/bugpoint/OptimizerDriver.cpp index 9f712e0..3a6149b 100644 --- a/tools/bugpoint/OptimizerDriver.cpp +++ b/tools/bugpoint/OptimizerDriver.cpp @@ -45,8 +45,6 @@ namespace { // ChildOutput - This option captures the name of the child output file that // is set up by the parent bugpoint process cl::opt ChildOutput("child-output", cl::ReallyHidden); - cl::opt UseValgrind("enable-valgrind", - cl::desc("Run optimizations through valgrind")); } /// writeProgramToFile - This writes the current "Program" to the named bitcode -- cgit v1.1