aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-11-13 12:54:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-11-13 12:54:54 +0200
commit1aeeb1bcfafd6f7855966fce592b2a420a54e8a2 (patch)
tree39234bd3eb116fee7106f49be0670e3ad18340fa /doc
parentb18baf490098a4a9924e6e139b62f4cbf7855a40 (diff)
Remove redundant /Oi that is implied by /O2
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.cli4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index 414cb3e..ec16227 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -888,11 +888,11 @@ we could have generated the following configurations:
\
windows*-vc_14* windows-vc_14-32-debug i686-microsoft-win32-msvc14.0 config.cc.coptions=/Z7 config.cc.loptions=/DEBUG ~\"warning C4\d{3}: \"
-windows*-vc_14* windows-vc_14-32-release i686-microsoft-win32-msvc14.0 config.cc.coptions=\"/O2 /Oi\" ~\"warning C4\d{3}: \"
+windows*-vc_14* windows-vc_14-32-release i686-microsoft-win32-msvc14.0 config.cc.coptions=/O2 ~\"warning C4\d{3}: \"
windows*-vc_14* windows-vc_14-64-debug x86_64-microsoft-win32-msvc14.0 config.cc.coptions=/Z7 config.cc.loptions=/DEBUG ~\"warning C4\d{3}: \"
-windows*-vc_14* windows-vc_14-64-release x86_64-microsoft-win32-msvc14.0 config.cc.coptions=\"/O2 /Oi\" ~\"warning C4\d{3}: \"
+windows*-vc_14* windows-vc_14-64-release x86_64-microsoft-win32-msvc14.0 config.cc.coptions=/O2 ~\"warning C4\d{3}: \"
\
As another example, let's say we have \c{linux_fedora_25-gcc_6} and