tf2: Allow creation of directories in /tmp

diff --git a/tf2/tf2.te b/tf2/tf2.te
index 1ef83e4..3e6bcdc 100644 (file)
--- a/tf2/tf2.te
+++ b/tf2/tf2.te
@@ -1,4 +1,4 @@
-policy_module(tf2, 0.1.28)
+policy_module(tf2, 0.1.29)
 
 require {
     type default_t;
@@ -39,6 +39,9 @@ manage_files_pattern(tf2_t, tf2_rw_t, tf2_rw_t)
 manage_dirs_pattern(tf2_t, tf2_rw_t, tf2_rw_t)
 setattr_files_pattern(tf2_t, tf2_rw_t, tf2_rw_t)
 
+# TF2 wants to create /tmp/dumps
+files_manage_generic_tmp_dirs(tf2_t)
+
 sysnet_dns_name_resolve(tf2_t)
 
 # Needed to load shared libs