Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

timing builtins

X-seq: zsh-workers 16536
From: Clint Adams <clint@xxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: timing builtins
Date: Fri, 1 Feb 2002 10:19:33 -0500
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm

I vaguely remember this being discussed before, but I can't find any
evidence; is it intentional that time <builtin> doesn't work?

Follow-Ups:
- Re: timing builtins
  - From: Peter Stephenson

Messages sorted by: Reverse Date, Date, Thread, Author