diff options
| author | 2019-08-07 13:00:49 -0700 | |
|---|---|---|
| committer | 2019-08-07 13:00:49 -0700 | |
| commit | 6cda201e5a3a6cd5f78dd2cbab4a562fa1adfa97 (patch) | |
| tree | a6a51fb7ef459c32c28a5c09640fab13d78c63dd /vulkan/Android.bp | |
| parent | dcaba1b880199996f14e211877f78ff7d7964a42 (diff) | |
vulkan: remove the obsolete vkinfo tool
vkinfo is far out of date, and we'll just have it removed since vkjson well
covers it.
Bug: 134185757
Test: build, flash and boot
Change-Id: I65d4b28ab02a80d805fff2419dd07e32ea67d06d
Diffstat (limited to 'vulkan/Android.bp')
| -rw-r--r-- | vulkan/Android.bp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/vulkan/Android.bp b/vulkan/Android.bp index 7747734cea..4934970aaa 100644 --- a/vulkan/Android.bp +++ b/vulkan/Android.bp @@ -31,6 +31,5 @@ cc_library_headers { subdirs = [ "nulldrv", "libvulkan", - "tools", "vkjson", ] |