From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3895 invoked by alias); 16 Sep 2014 10:54:17 -0000 Mailing-List: contact zsh-users-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Users List List-Post: List-Help: X-Seq: 19089 Received: (qmail 11059 invoked from network); 16 Sep 2014 10:54:15 -0000 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on f.primenet.com.au X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham version=3.3.2 Date: Tue, 16 Sep 2014 12:45:13 +0200 From: Vincent Lefevre To: zsh-users@zsh.org Subject: Re: child time accounting is different from other shells Message-ID: <20140916104512.GA24804@ypig.lip.ens-lyon.fr> Mail-Followup-To: zsh-users@zsh.org References: <20140910123032.GA19213@xvii.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-Mailer-Info: http://www.vinc17.net/mutt/ User-Agent: Mutt/1.5.23-6361-vl-r59709 (2014-07-25) 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 - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)