From 1a3b62757cfbecae83910f70c87119b819765a4c Mon Sep 17 00:00:00 2001
From: Hridya Valsaraju <hridya@google.com>
Date: Tue, 21 Aug 2018 15:51:20 -0700
Subject: [PATCH] Make device_kernel_headers available to recovery and vendor

This is required to build the recovery variant of boot control HAL.

Bug: 78793464
Test: make
Change-Id: Ia5d7b1a97926acbe4ba89df26aeb66fac6bbb1ab
---
 Android.bp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Android.bp b/Android.bp
index 2f7b0514b..a6342cb7e 100644
--- a/Android.bp
+++ b/Android.bp
@@ -399,6 +399,7 @@ toolchain_library {
 kernel_headers {
     name: "device_kernel_headers",
     vendor: true,
+    recovery_available: true,
 }
 
 cc_genrule {