diff options
Diffstat (limited to 'docs/CommandGuide')
| -rw-r--r-- | docs/CommandGuide/bugpoint.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index 62e5787f86..5de0f527b5 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -190,16 +190,6 @@ non-obvious ways. Here are some hints and tips:<p> when attempting to reduce test programs. If you're trying to find a bug in one of these passes, <tt>bugpoint</tt> may crash.<p> - <li><tt>-enable-correct-eh-support</tt><br> - Make the -lowerinvoke pass insert expensive, but correct, exception - handling code.<p> - - <li><tt>-internalize-public-api-file <filename></tt><br> - Preserve the symbols listed in the file <tt>filename</tt>.<p> - - <li><tt>-internalize-public-api-list <list></tt><br> - Preserve the symbols listed in <tt>list</tt>.<p> - <li> <tt>-help</tt><br> Print a summary of command line options.<p> |