> This certainly looks correct to me. Thanks. > In theory, "make bootstrap" and "make all" should have the same behavior > for this. > > I believe this patch should go into 3.3 as well. > > Also, could you update the GNATS reports that deal with this? Of course. It will be the first time I close that many PRs at once :-) -- Eric Botcazou