https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48626
--- Comment #7 from Iain Sandoe <iains at gcc dot gnu.org> --- now that boehm-gc is no longer in tree what should we do with this? I suppose there could be some more sophisticated top-level configuration (similar to GMP et. al.) which determines if there's a suitable libgc available?
