Re: User extensions

[Ralf Wildenhues]

Hello Stefano, Valentin,

please discuss patches on the -patches list; and please keep the
original poster in Cc:, thanks.

I haven't looked at the patch in detail yet, but will, now that
the assignment papers are done (thanks!).

* Stefano Lattarini wrote on Sat, Oct 23, 2010 at 04:05:02PM CEST:
> On Friday 03 September 2010, Valentin David wrote:
> > * --libdir= can be called several times, the arguments can also have a
> > list of paths separated by a colon.

> We should really use the system PATH separator here, for better portability
> (such PATH separator is already computed and AC_SUBST'd by configure as
> address@hidden@').

Why would an arbitrary path, having nothing to do with the PATH
environment variable, needlessly have the same system-dependent
separator?  Other paths don't do this, either.

Thanks,
Ralf