[sudo-commits] sudo changeset 11731:0f6c9a4af739

[Todd C. Miller]

changeset:	11731:0f6c9a4af739 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/0f6c9a4af739
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Wed Jul 03 07:39:54 2019 -0600

Log Message:
	Update plugindir even when --disable-shared is specified.
	Otherwise, the default value is substituted into the Makefiles and
	documentation which may not match --prefix.  Bug #886

diffstat:

 configure    |  13 +++++++------
 configure.ac |  13 +++++++------
 2 files changed, 14 insertions(+), 12 deletions(-)