Re: [PATCH] Do use readlink if available

2012-06-21 Thread Bruno Haible
Bernd Jendrissek wrote: > Running under dash, type -p readlink fails because dash doesn't > understand -p. Indeed, I confirm that - under bash, "type -p foo" and "type foo" produce the same exit code for various values of foo, - POSIX specifies the 'type' command only without '-p'

[PATCH] Do use readlink if available

2012-06-20 Thread Bernd Jendrissek
The main effect of this patch is to make gnulib-tool not spam the terminal with failures from ls. Despite the copious stderr output, files still get linked correctly. 2012-06-20 Bernd Jendrissek gnulib-tool: Use readlink if it is available. * gnulib-tool (func_readlink): Choose