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 > `...@path_separator@'). 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