[sudo-commits] sudo changeset 14654:d454beb6eebf

[Todd C. Miller]

changeset:	14654:d454beb6eebf in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/d454beb6eebf
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Mon Mar 20 13:01:02 2023 -0600

Log Message:
	Split push_include() into push_include() and push_includedir().
	This moves the "isdir" function argument to the internal version.

diffstat:

 plugins/sudoers/gram.c |   4 ++--
 plugins/sudoers/gram.y |   4 ++--
 plugins/sudoers/toke.c |  16 ++++++++++++++--
 plugins/sudoers/toke.h |   3 ++-
 plugins/sudoers/toke.l |  16 ++++++++++++++--
 5 files changed, 34 insertions(+), 9 deletions(-)