Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

csh and time

3 views
Skip to first unread message

t...@callan.uucp

unread,
May 24, 1984, 4:03:35 PM5/24/84
to
/**/

Here is an interesting behaviour from csh:

time echo foo

uses the csh builtin 'time', but

time echo foo &

uses /bin/time. Any ideas as to why this happens? Is it
a bug or a feature?

This was tried on two 68k systems. I haven't had a chance at
a VAX yet.
--
----------------------------------------------------------------------
Tim Smith {decvax,ucbvax,ihnp4}!cithep!tim
{decvax,ucbvax,cithep}!trwrb
>- !wlbr!callan!tim
ihnp4!{vortex,scgvaxd}

0 new messages