diff --git a/docs/Bugpoint.html b/docs/Bugpoint.html index e2a3611db27..4bcf9977d56 100644 --- a/docs/Bugpoint.html +++ b/docs/Bugpoint.html @@ -215,6 +215,12 @@ non-obvious ways. Here are some hints and tips:
confused. One way to deal with this is to cause bugpoint to ignore the exit code from your program, by giving it the -check-exit-code=false option. + +