[sudo-commits] sudo changeset 10833:0970fd78cbe8

[Todd C. Miller]

changeset:	10833:0970fd78cbe8 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/0970fd78cbe8
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Tue Feb 14 15:56:34 2017 -0700

Log Message:
	Merge command tags, SELinux type/role and Solaris privs settings
	into "command options".  This relaxes the order of things so tags
	and other options can be interspersed.

diffstat:

 doc/sudoers.cat         |   12 +-
 doc/sudoers.man.in      |   17 +-
 doc/sudoers.mdoc.in     |   17 +-
 plugins/sudoers/gram.c  |  930 +++++++++++++++++++++--------------------------
 plugins/sudoers/gram.h  |    4 +-
 plugins/sudoers/gram.y  |  166 +++----
 plugins/sudoers/parse.h |   24 +-
 7 files changed, 545 insertions(+), 625 deletions(-)