From 2d123fce3c0db11cfc1522b754bd546ecba58f76 Mon Sep 17 00:00:00 2001
From: Joel Galenson <jgalenson@google.com>
Date: Fri, 5 Oct 2018 12:37:05 -0700
Subject: [PATCH] Ensure vold is a client of hal_bootctl only in Treble mode.

This fixes a build breakage.

Test: Build policy.
Change-Id: Id5209a2bd6446ac6dd744b7426f540bc1a8641ed
---
 public/vold.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/vold.te b/public/vold.te
index df72f29ec..8db19fcef 100644
--- a/public/vold.te
+++ b/public/vold.te
@@ -165,7 +165,7 @@ hal_client_domain(vold, hal_keymaster)
 hal_client_domain(vold, hal_health_storage)
 
 # talk to bootloader HAL
-hal_client_domain(vold, hal_bootctl)
+full_treble_only(`hal_client_domain(vold, hal_bootctl)')
 
 # Access userdata block device.
 allow vold userdata_block_device:blk_file rw_file_perms;
-- 
GitLab