On 11/17/2017 01:48 PM, James Greenhalgh wrote:
On Wed, Nov 15, 2017 at 03:00:53AM +0000, Luis Machado wrote:
I think the best thing is to leave this tuning structure in place and
just change default_opt_level   to -1 to disable it at -O3.

Thanks,
Andrew


Indeed that seems to be more appropriate if re-enabling prefetches in the
future is a possibility.

How about the following?

This is OK.

Thanks,
James

Thanks James. I've pushed this now.

Luis

Reply via email to