aboutsummaryrefslogtreecommitdiff
path: root/docs/CommandGuide/opt.html
diff options
context:
space:
mode:
authorJohn Criswell <criswell@uiuc.edu>2004-03-29 20:23:11 +0000
committerJohn Criswell <criswell@uiuc.edu>2004-03-29 20:23:11 +0000
commitd179961d400f13d7c39b658d0682dc0a758c8f77 (patch)
tree595283c16d7efa91b13923cbe929b018336de060 /docs/CommandGuide/opt.html
parent8130a3832153a608695b9bb7d29ee9e28baa0942 (diff)
Merged in RELEASE_12.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12532 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/CommandGuide/opt.html')
-rw-r--r--docs/CommandGuide/opt.html5
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html
index 4bf67a49c2..2e531a9202 100644
--- a/docs/CommandGuide/opt.html
+++ b/docs/CommandGuide/opt.html
@@ -53,11 +53,6 @@ writes its output to the standard output.
Specify the output filename.
<p>
- <li> -dsa-track-integers
- <br>
- Track integers as potential pointers.
- <p>
-
<li> -profile-info-file &lt;filename&gt;
<br>
Specify the name of the file loaded by the -profile-loader option.