diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2014-11-24 09:08:18 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2014-11-24 09:08:18 +0000 |
commit | 5ca98fd98791947eba83a1ed3f2c8191ef7afa6c (patch) | |
tree | f5944309621cee4fe0976be6f9ac619b7ebfc4c2 /docs/CommandGuide/bugpoint.rst | |
parent | 68bcb7db193e4bc81430063148253d30a791023e (diff) |
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 e4663e5d4477..f11585d359c6 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 |