diff options
Diffstat (limited to 'docs/CommandGuide')
-rw-r--r-- | docs/CommandGuide/bugpoint.rst | 4 | ||||
-rw-r--r-- | docs/CommandGuide/opt.rst | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/docs/CommandGuide/bugpoint.rst b/docs/CommandGuide/bugpoint.rst index e4663e5..f11585d 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 diff --git a/docs/CommandGuide/opt.rst b/docs/CommandGuide/opt.rst index 3fed684..ad5b62c 100644 --- a/docs/CommandGuide/opt.rst +++ b/docs/CommandGuide/opt.rst @@ -99,10 +99,6 @@ OPTIONS :option:`-std-compile-opts` and :option:`-verify-each` can quickly track down this kind of problem. -.. option:: -profile-info-file <filename> - - Specify the name of the file loaded by the ``-profile-loader`` option. - .. option:: -stats Print statistics. |