doc/install.texi: add documentation for --disable-libsanitizer
authorMarkus Trippelsdorf <markus@trippelsdorf.de>
Mon, 15 Sep 2014 06:33:18 +0000 (06:33 +0000)
committerMarkus Trippelsdorf <trippels@gcc.gnu.org>
Mon, 15 Sep 2014 06:33:18 +0000 (06:33 +0000)
commit6a92920539a181d9c5095a36f67c64f74d0690bb
tree6ec7e9a0159e0d1ffb64f8c120d78d24e486cd49
parent051695352c872b847a9555055b5efc8e0b5c80e4
doc/install.texi: add documentation for --disable-libsanitizer

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.

2014-09-15  Markus Trippelsdorf  <markus@trippelsdorf.de>

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

From-SVN: r215259
gcc/ChangeLog
gcc/doc/install.texi