diff options
-rw-r--r-- | tools/bugpoint/bugpoint.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/bugpoint/bugpoint.cpp b/tools/bugpoint/bugpoint.cpp index e527b2a149..565f3f9a70 100644 --- a/tools/bugpoint/bugpoint.cpp +++ b/tools/bugpoint/bugpoint.cpp @@ -103,9 +103,10 @@ int main(int argc, char **argv) { LLVMContext& Context = getGlobalContext(); // If we have an override, set it and then track the triple we want Modules // to use. - if (!OverrideTriple.empty()) + if (!OverrideTriple.empty()) { TargetTriple.setTriple(OverrideTriple); - outs() << "override triple is " << OverrideTriple << '\n'; + outs() << "Override triple set to '" << OverrideTriple << "'\n"; + } BugDriver D(argv[0], AsChild, FindBugs, TimeoutValue, MemoryLimit, Context); if (D.addSources(InputFilenames)) return 1; |