Allow SELinux support to be disabled via the sudoers file.

Defaults to true if sudo is built with SELinux support and SELinux
is not disabled on the system.

plugins/sudoers/def_data.c

@@ -569,6 +569,10 @@ struct sudo_defs_types sudo_defs_table[] = {
 	"log_format", T_TUPLE,
 	N_("The format of logs to produce: %s"),
 	def_data_log_format,
+    }, {
+	"selinux", T_FLAG,
+	N_("Enable SELinux RBAC support"),
+	NULL,
     }, {
 	NULL, 0, NULL
     }