diff options
| -rw-r--r-- | tools/bugpoint/ExecutionDriver.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/bugpoint/ExecutionDriver.cpp b/tools/bugpoint/ExecutionDriver.cpp index 49480efb63..96341116fc 100644 --- a/tools/bugpoint/ExecutionDriver.cpp +++ b/tools/bugpoint/ExecutionDriver.cpp @@ -164,7 +164,10 @@ bool BugDriver::initializeExecutionEnvironment() { Message = "Sorry, this back-end is not supported by bugpoint right now!\n"; break; } - std::cerr << Message; + if (!Interpreter) + std::cerr << Message; + else // Display informational messages on stdout instead of stderr + std::cout << Message; // Initialize auxiliary tools for debugging if (InterpreterSel == RunCBE) { |