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

Re: child time accounting is different from other shells

X-seq: zsh-users 19089
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: Re: child time accounting is different from other shells
Date: Tue, 16 Sep 2014 12:45:13 +0200
In-reply-to: <CAH+w=7aGfsix3neCcn=MTbj4Njbe4M+6OY3HiTtr2AOJGG=d2A@mail.gmail.com>
List-help: <mailto:zsh-users-help@zsh.org>
List-id: Zsh Users List <zsh-users.zsh.org>
List-post: <mailto:zsh-users@zsh.org>
Mail-followup-to: zsh-users@xxxxxxx
Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
References: <20140910123032.GA19213@xvii.vinc17.org> <CAH+w=7aGfsix3neCcn=MTbj4Njbe4M+6OY3HiTtr2AOJGG=d2A@mail.gmail.com>

On 2014-09-10 14:02:28 -0700, Bart Schaefer wrote:
> You can also prevent the optimization by adding an exit trap, etc.

Actually any trap prevents the optimization.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

References:
- child time accounting is different from other shells
  - From: Vincent Lefevre
- Re: child time accounting is different from other shells
  - From: Bart Schaefer

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