On 2013-02-25 00:27, David Holmes wrote:
I don't know but I suspect that we still need to define it. I'm not sure of the usecases here. Suggestions are welcome.On 23/02/2013 8:33 PM, David Holmes wrote:What's the right way to customize these flags?--with-extra-cflags For some reason I thought the above was only for legacy hotspot stuff.
/Erik
