Re: Coverage unlinking
On 06/24/12 01:14, Xinliang David Li wrote: thanks for the fix. It works fine for me. Thanks. I have committed it.
Re: Coverage unlinking
thanks for the fix. It works fine for me. David On Sat, Jun 23, 2012 at 11:00 AM, Nathan Sidwell wrote: > This patch changes the coverage unlinking to be less aggressive. As David > pointed out, when experimenting with random optimization options along side > -fuse-coverage and -frandom-seed, i