This patch adds an item for --disable-libsanitizer to the configuration
documentation. 
The option is especially useful during bisection, because it reduces
build time a lot.

Ok for trunk and 4.9 branch?

Thanks.

2014-09-10  Markus Trippelsdorf  <mar...@trippelsdorf.de>

        * doc/install.texi (Options specification): add 
        --disable-libsanitizer item.

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 31b8c8bf39df..d511edf34b1a 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1451,6 +1451,10 @@ be built.  This can be useful for debugging, or for 
compatibility with
 previous Ada build procedures, when it was required to explicitly
 do a @samp{make -C gcc gnatlib_and_tools}.
 
+@item --disable-libsanitizer
+Specify that the run-time libraries for the various sanitizers should
+not be built.
+
 @item --disable-libssp
 Specify that the run-time libraries for stack smashing protection
 should not be built.
-- 
Markus

Reply via email to