[PATCH] doc/install.texi: add documentation for --disable-libsanitizer

Gerald Pfeifer gerald@pfeifer.com
Sun Sep 14 20:01:00 GMT 2014


On Wed, 10 Sep 2014, Markus Trippelsdorf wrote:
> 2014-09-10  Markus Trippelsdorf  <markus@trippelsdorf.de>
> 
> 	* doc/install.texi (Options specification): add 
> 	--disable-libsanitizer item.

Looks good to me, thanks.

Gerald



More information about the Gcc-patches mailing list