diff --git a/non_plat/shell.te b/non_plat/shell.te
index 11217fc..042d83d 100644
--- a/non_plat/shell.te
+++ b/non_plat/shell.te
@@ -19,3 +19,4 @@ allow shell aee_exp_vendor_file:file r_file_perms;
 allow shell aee_exp_data_file:dir r_dir_perms;
 allow shell aee_exp_data_file:file r_file_perms;
 
+get_prop(shell, mobile_log_prop)