[sudo-commits] sudo changeset 11581:772e86227c11

[Todd C. Miller]

changeset:	11581:772e86227c11 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/772e86227c11
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Sun Oct 21 08:46:09 2018 -0600

Log Message:
	Add --enable-pvs-studio configure option to create PVS-Studio.cfg.

diffstat:

 INSTALL      |  11 ++++++++---
 configure    |  39 +++++++++++++++++++++++++++++++++++++++
 configure.ac |  34 ++++++++++++++++++++++++++++++++++
 3 files changed, 81 insertions(+), 3 deletions(-)