https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39851

--- Comment #17 from Daniel Santos <daniel.santos at pobox dot com> ---
Thanks for all your work on this Martin.  I've put a script up on my github
account (https://github.com/daniel-santos/distccflags), updated the Gentoo
Distcc instructions and sent distcc a mail to notify them.

Thanks!

Reply via email to