diff options
Diffstat (limited to 'tools/bugpoint/ExecutionDriver.cpp')
| -rw-r--r-- | tools/bugpoint/ExecutionDriver.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/bugpoint/ExecutionDriver.cpp b/tools/bugpoint/ExecutionDriver.cpp index 422ececb40..acc363bf97 100644 --- a/tools/bugpoint/ExecutionDriver.cpp +++ b/tools/bugpoint/ExecutionDriver.cpp @@ -164,7 +164,8 @@ std::string BugDriver::executeProgram(std::string OutputFile, /// different, true is returned. /// bool BugDriver::diffProgram(const std::string &ReferenceOutputFile, - const std::string &BytecodeFile) { + const std::string &BytecodeFile, + bool RemoveBytecode) { // Execute the program, generating an output file... std::string Output = executeProgram("", BytecodeFile); @@ -192,5 +193,6 @@ bool BugDriver::diffProgram(const std::string &ReferenceOutputFile, } while (C1 != EOF); removeFile(Output); + if (RemoveBytecode) removeFile(BytecodeFile); return FilesDifferent; } |