diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-13 12:54:54 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-13 12:54:54 +0200 |
| commit | 1aeeb1bcfafd6f7855966fce592b2a420a54e8a2 (patch) | |
| tree | 39234bd3eb116fee7106f49be0670e3ad18340fa | |
| parent | b18baf490098a4a9924e6e139b62f4cbf7855a40 (diff) | |
Remove redundant /Oi that is implied by /O2
| -rw-r--r-- | doc/manual.cli | 4 |
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 |