doc/install.texi: add documentation for --disable-libsanitizer
commit76e4118d8f8db50d774f6629bd91525ff4b3b7f8
authortrippels <trippels@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 15 Sep 2014 06:33:18 +0000 (15 06:33 +0000)
committertrippels <trippels@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 15 Sep 2014 06:33:18 +0000 (15 06:33 +0000)
tree6ec7e9a0159e0d1ffb64f8c120d78d24e486cd49
parent8e73c45455c2ee5a48832a4c4d555326c5266035
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@215259 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/install.texi