On Apr 20 2019, Émeric Dupont <emeric.dup...@zii.aero> 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/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 
> s-header-vars install-gengtype
>  # We keep the directory structure for files in config or c-family and .def
>  # files. All other files are flattened to a single directory.
>  $(mkinstalldirs) $(DESTDIR)$(plugin_includedir)
> -headers=`echo $(PLUGIN_HEADERS) $$(cd $(srcdir); echo *.h *.def) | tr ' ' 
> '\012' | sort -u`; \
> +headers=$(sort $(PLUGIN_HEADERS) $$(cd $(srcdir); echo *.h *.def)); \

This sorts the words $(PLUGIN_HEADERS) '$(cd' $(srcdir); echo '*.h'
'*.def)' and produces a command line that doesn't make sense.

Andreas.

-- 
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Reply via email to