v4: Handling wildcard files correctly
Some build environments and configuration options may lead to the make
variable PLUGIN_HEADERS being too long to be passed as parameters to the
shell `echo` command, leading to a "write error" message when making the
target install-plugin.
The following patch
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
Some build environments and configuration options may lead to the make
variable PLUGIN_HEADERS being too long to be passed as parameters to the
shell `echo` command, leading to a "write error" message when making the
target install-plugin.
The following patch fixes this issue by using the [Make $(
Some build environments and configuration options may lead to the make
variable PLUGIN_HEADERS being too long to be passed as parameters to the
shell `echo` command, leading to a "write error" message when making the
target install-plugin.
The following patch fixes this issue by using the [Make $(
The 17.04.2019 21:36, Emeric Dupont wrote:
<... Unwanted legalese ...>
Sorry, please disregard the unwanted footer added against my will. I am
actively trying to have out admins get rid of it where it is not
applicable.
--
Emeric Dupont
Zodiac Inflight Innovations
P +49815388678207
Argelsrieder F
Some build environments and configuration options may lead to the make
variable PLUGIN_HEADERS being too long to be passed as parameters to the
shell `echo` command, leading to a "write error" message when making the
target install-plugin.
The following patch fixes this issue by using the [Make $(
