The 20.04.2019 09:23, Andreas Schwab wrote:
>On Apr 20 2019, Émeric Dupont wrote:
>> diff --git a/gcc/Makefile.in b/gcc/Makefile.in
>> index d186d71c91e..3196e774a26 100644
>> --- a/gcc/Makefile.in
>> +++ b/gcc/Makefile.in
>> @@ -3538,7 +3538,7 @@ install-plugin: installdirs lang.install-plugin
>
On Apr 20 2019, Émeric Dupont wrote:
> The following patch fixes this issue by using the [Make $(sort list)][1]
> function instead to remove duplicates from the list of headers. There is
> no functional change, the value assigned to the shell variable is the
> same.
Is it?
> diff --git a/gcc/Ma
