Commit cc7e5679 authored by Todd Kjos's avatar Todd Kjos Committed by Alistair Delva
Browse files

ANDROID: GKI: Enable INTERVAL_TREE 



Needed by some GPU/DRM drivers that are built out-of-tree

Bug: 159733980
Signed-off-by: default avatarTodd Kjos <tkjos@google.com>
Change-Id: Ia156d1b0a74c82d9f15b144131aff2ddeead0672
parent 94b7f6d1
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment