aboutsummaryrefslogtreecommitdiffstats
path: root/file.te
diff options
context:
space:
mode:
authorNick Kralevich <nnk@google.com>2013-12-12 15:23:10 -0800
committerNick Kralevich <nnk@google.com>2013-12-13 15:57:23 -0800
commit6a32eec74dc631e0bc06bca84cb2d0b3cd222c8b (patch)
tree3ca2ec8e5b6a7e811983918ef433baae805c41ba /file.te
parent8ad225908d10a463bf993a057f7cc201f6ba9358 (diff)
downloadandroid_external_sepolicy-6a32eec74dc631e0bc06bca84cb2d0b3cd222c8b.tar.gz
android_external_sepolicy-6a32eec74dc631e0bc06bca84cb2d0b3cd222c8b.tar.bz2
android_external_sepolicy-6a32eec74dc631e0bc06bca84cb2d0b3cd222c8b.zip
alphabetize /data/misc entries.
Alphabetize the entries for the /data/misc subdirectories. Change-Id: I3690085cbb99c225545545668dedd66341a14edb
Diffstat (limited to 'file.te')
-rw-r--r--file.te14
1 files changed, 8 insertions, 6 deletions
diff --git a/file.te b/file.te
index ed56ec9..e4f0a10 100644
--- a/file.te
+++ b/file.te
@@ -52,18 +52,20 @@ type dalvikcache_data_file, file_type, data_file_type;
type shell_data_file, file_type, data_file_type;
# /data/gps
type gps_data_file, file_type, data_file_type;
+
# /data/misc subdirectories
+type adb_keys_file, file_type, data_file_type;
type audio_data_file, file_type, data_file_type;
type bluetooth_data_file, file_type, data_file_type;
-type media_data_file, file_type, data_file_type;
+type camera_data_file, file_type, data_file_type;
type keystore_data_file, file_type, data_file_type;
-type vpn_data_file, file_type, data_file_type;
+type media_data_file, file_type, data_file_type;
+type nfc_data_file, file_type, data_file_type;
+type radio_data_file, file_type, data_file_type;
type systemkeys_data_file, file_type, data_file_type;
+type vpn_data_file, file_type, data_file_type;
type wifi_data_file, file_type, data_file_type;
-type radio_data_file, file_type, data_file_type;
-type nfc_data_file, file_type, data_file_type;
-type camera_data_file, file_type, data_file_type;
-type adb_keys_file, file_type, data_file_type;
+
# Compatibility with type names used in vanilla Android 4.3 and 4.4.
typealias audio_data_file alias audio_firmware_file;
typealias camera_data_file alias camera_calibration_file;