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

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



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



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