| commit | 79673cfb78356afb4bb531d5f6fe115ab41930cc | [log] [tgz] |
|---|---|---|
| author | Robert Shih <robertshih@google.com> | Fri Sep 20 21:45:01 2019 -0700 |
| committer | Marco Nelissen <marcone@google.com> | Fri Dec 20 15:58:46 2019 +0000 |
| tree | 82f9a497a3221f4043e4af36f19abd4ee00fbb96 | |
| parent | c1a82b91f050f4b496b2d373046cb4c9fc32c8eb [diff] [blame] |
Implement DrmSessionManager w mediaresourcemanager Bug: 134787536 Test: DrmSessionManagerTest Test: DrmSessionManager_test Test: ResourceManagerService_test Change-Id: Iab9f4f681c83f46b043cefc8633bb3e513a8e75a Merged-In: Iab9f4f681c83f46b043cefc8633bb3e513a8e75a
diff --git a/services/mediaresourcemanager/Android.bp b/services/mediaresourcemanager/Android.bp index f3339a0..d468406 100644 --- a/services/mediaresourcemanager/Android.bp +++ b/services/mediaresourcemanager/Android.bp
@@ -23,4 +23,6 @@ "-Wall", ], + export_include_dirs: ["."], + }