Re: [patch] Fix PR lto/61313

2015-11-19 Thread Bernd Schmidt
On 11/19/2015 01:02 PM, Eric Botcazou wrote: this fixes the glitch I introduced when trying to fix another bug: https://gcc.gnu.org/ml/gcc-patches/2012-05/msg00330.html The --with-plugin-ld value specified by the user is also stripped, although that's unnecessay to fix the original bug. So I

[patch] Fix PR lto/61313

2015-11-19 Thread Eric Botcazou
Hi, this fixes the glitch I introduced when trying to fix another bug: https://gcc.gnu.org/ml/gcc-patches/2012-05/msg00330.html The --with-plugin-ld value specified by the user is also stripped, although that's unnecessay to fix the original bug. So I guess that we can leave this value alone,