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

Re: PATCH: Re: Bug: time doesn't work on builtins

On Fri, Sep 20, 2024 at 12:46 AM Oliver Kiddle <opk@xxxxxxx> wrote:
>
> ... expr 0 which has the advantage of not existing as a builtin

I'll go with that.

diff --git a/Test/A08time.ztst b/Test/A08time.ztst
index 9fb1f3ebf..22a460f5e 100644
--- a/Test/A08time.ztst
+++ b/Test/A08time.ztst
@@ -59,6 +59,7 @@
 *?shell*
 *?children*

-  ( setopt errexit; time =false; print notreached )
+  ( setopt errexit; time expr 0; print notreached )
 1:`time' of failed external with errexit
+>0
 *?*user*system*cpu*total
Messages sorted by: Reverse Date, Date, Thread, Author