[sudo-commits] sudo changeset 15035:55307bdf721d

[Todd C. Miller]

changeset:	15035:55307bdf721d in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/55307bdf721d
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Sat Sep 09 14:06:11 2023 -0600
files:		plugins/sudoers/gram.c plugins/sudoers/gram.y plugins/sudoers/toke.c plugins/sudoers/toke.h plugins/sudoers/toke.l

Log Message:
	Honor ignore_perms plugin argument for @include and @includedir.


diffstat:

 plugins/sudoers/gram.c |  552 ++++++++++++++++++++++++------------------------
 plugins/sudoers/gram.y |    6 +-
 plugins/sudoers/toke.c |   31 +-
 plugins/sudoers/toke.h |    5 +-
 plugins/sudoers/toke.l |   31 +-
 5 files changed, 322 insertions(+), 303 deletions(-)