Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

[Christophe Jarry]

> Version type = linux has been used in libtool for a long time, changing it is
> pointless, not in any way called for by the GNU coding standards,

I understand that the value "linux" of the variable "version_type" is
acceptable according to the GNU coding standards. I think the documentation
would have been more consistent with the value "gnu-linux" though.

> and will likely lead to bugs.

Definitely.

I have attached to this mail an updated version of my previous patch.

Christophe

fix-bug-9210.patch
Description: Text Data