stray renames in distro_redhat
This commit is contained in:
parent
d2d6c8ce17
commit
b57dd19400
|
@ -44,7 +44,7 @@ define(`dev_node',`
|
||||||
fs_associate($1)
|
fs_associate($1)
|
||||||
|
|
||||||
optional_policy(`distro_redhat',`
|
optional_policy(`distro_redhat',`
|
||||||
fs_tmpfs_associate($1)
|
fs_associate_tmpfs($1)
|
||||||
')
|
')
|
||||||
')
|
')
|
||||||
|
|
||||||
|
@ -531,7 +531,7 @@ define(`dev_create_dev_node',`
|
||||||
type_transition $1 device_t:$3 $2;
|
type_transition $1 device_t:$3 $2;
|
||||||
|
|
||||||
optional_policy(`distro_redhat',`
|
optional_policy(`distro_redhat',`
|
||||||
fs_tmpfs_associate($2)
|
fs_associate_tmpfs($2)
|
||||||
')
|
')
|
||||||
')
|
')
|
||||||
|
|
||||||
|
|
|
@ -312,8 +312,8 @@ ifdef(`distro_redhat',`
|
||||||
|
|
||||||
# Create and read /boot/kernel.h and /boot/System.map.
|
# Create and read /boot/kernel.h and /boot/System.map.
|
||||||
# Redhat systems typically create this file at boot time.
|
# Redhat systems typically create this file at boot time.
|
||||||
bootloader_create_runtime_data(initrc_t)
|
bootloader_create_runtime_file(initrc_t)
|
||||||
bootloader_modify_bootloader_data_directory_symbolic_links(initrc_t)
|
bootloader_rw_boot_symlinks(initrc_t)
|
||||||
|
|
||||||
# These seem to be from the initrd
|
# These seem to be from the initrd
|
||||||
# during device initialization:
|
# during device initialization:
|
||||||
|
|
Loading…
Reference in New Issue