complibs/ppl: fix build when local system has libgmp already installed

[Yann E. MORIN]

Yann, All,

Your patch:
    complibs/ppl: fix build when local system has libgmp already installed

has been applied as: #20b02b5019cd
    http://crosstool-ng.org/hg/crosstool-ng/rev/20b02b5019cd

Thank you!

Regards,
Yann E. MORIN.



--
For unsubscribe information see http://sourceware.org/lists.html#faq