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

Re: BUG: zsh-3.1.5-pws-24: time is dead

X-seq: zsh-workers 6943
From: mason@xxxxxxxxxxxxxxx (Geoff Wing)
To: zsh-workers@xxxxxxxxxxxxxx
Subject: Re: BUG: zsh-3.1.5-pws-24: time is dead
Date: 2 Jul 1999 08:07:55 GMT
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Organization: PrimeNet Computer Consultants
References: mason@xxxxxxxxxxxxxxx's message of 2 Jul 1999 02:05:17 GMT <199907020632.IAA14650@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Reply-to: mason@xxxxxxxxxxxxxxx

Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx> typed:
:This goes on top of 6936,

And a whole lot more.  I'll have to apply all the other patches to test.

:+++ Src/exec.c	Fri Jul  2 08:30:18 1999
:-	    if (list_pipe || pline_level)
:+	    if (list_pipe || (pline_level && !(how & Z_TIMED)))

Regards,
-- 
Geoff Wing : <gcw@xxxxxxxxx>     Work URL: http://www.primenet.com.au/
Rxvt Stuff : <gcw@xxxxxxxx>      Ego URL : http://pobox.com/~gcw/
Zsh Stuff  : <gcw@xxxxxxx>       Phone   : (Australia) 0413 431 874

References:
- Re: BUG: zsh-3.1.5-pws-24: time is dead
  - From: Sven Wischnowsky

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