#DESC        sudo - execute a command as another user
#
# Authors:  Dan Walsh,  Russell Coker
# Maintained by Dan Walsh <dwalsh@redhat.com>
#

# Type for the sudo executable.
type sudo_exec_t, file_type, sysadmfile, exec_type;

# Everything else is in the sudo_domain macro in
# macros/program/sudo_macros.te.