In article <f06240801c2f9d5d543b6@[130.83.118.66]> Hauke wrote:
: Looking closer, it seems that pkgsrc doesn't provide ${TOOLS_ECHO}
: with a path, unlike for other tools. [...]
: What is the reason for echo's special role here?
echo calls the shell builtin, /bin/echo does not. echo is therefore
faster.
yours,
dillo