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. David > Thanks, > David