gator-driver: Hack makefile to search for Mali trace headers
authorJon Medhurst <tixy@linaro.org>
Fri, 2 Mar 2012 15:32:46 +0000 (15:32 +0000)
committerJon Medhurst <tixy@linaro.org>
Mon, 5 Mar 2012 09:27:56 +0000 (09:27 +0000)
commit61fdde505372e81082e470f6ef04c469aa0846fb
tree6d9e1a7aec856d1a774a7ccc44434edf2fda0c00
parent7150bdb86762f575a92b68f43de099baa94768ab
gator-driver: Hack makefile to search for Mali trace headers

Gator needs Mali headers and device type in order to build with Mali
profiling support. Unfortunately, the presence and location of this
information is difficult to configure considering kernels are
separate packages and managed by various teams.

To work around this, just use the find command to look for the header
and if present, assume we want Mali support, and that it is a Mali-400.

Signed-off-by: Jon Medhurst <tixy@linaro.org>
driver/Makefile