Hi Andreas. I hope you don't mind my nitpickiness, but ...
On 10/16/2012 06:28 PM, Andreas Schwab wrote:
> Michael J Gruber <g...@drmicha.warpmail.net> writes:
>
>> Some test want to use the time command (not the shell builtin) and test
>> for its availability at /usr/bin/time.
>
> An alternative way to suppress the builtin meaning is to quote it, like
> \time.
>
... to be 100% precise, this quoting trick works because 'time' is a
shell keyword, rather than a builtin:
$ type time
time is a shell keyword
Regards,
Stefano
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
