diff options
Diffstat (limited to 'docs/CommandGuide/bugpoint.rst')
| -rw-r--r-- | docs/CommandGuide/bugpoint.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/CommandGuide/bugpoint.rst b/docs/CommandGuide/bugpoint.rst index e4663e5d44..f11585d359 100644 --- a/docs/CommandGuide/bugpoint.rst +++ b/docs/CommandGuide/bugpoint.rst @@ -124,10 +124,6 @@ OPTIONS do not use this option, **bugpoint** will attempt to generate a reference output by compiling the program with the "safe" backend and running it. -**--profile-info-file** *filename* - - Profile file loaded by **--profile-loader**. - **--run-{int,jit,llc,custom}** Whenever the test program is compiled, **bugpoint** should generate code for it |