diff --git a/generator/customize.ml b/generator/customize.ml index 9634dad85..5abaf206f 100644 --- a/generator/customize.ml +++ b/generator/customize.ml @@ -581,6 +581,13 @@ option disables the automatic relabeling. The option is a no-op for guests that do not support SELinux."; }; + { flag_name = "selinux-relabel"; + flag_type = FlagBool false; + flag_ml_var = "selinux_relabel_ignored"; + flag_shortdesc = "Compatibility option doing nothing"; + flag_pod_longdesc = "This is a compatibility option that does nothing."; + }; + { flag_name = "sm-credentials"; flag_type = FlagSMCredentials "SELECTOR"; flag_ml_var = "sm_credentials";