On Saturday, 17 June 2000, Mats Bengtsson writes:
> I found a minor inconvenience in Jan's proc-time
> program, namely that it tried to take care not
> only of its own flags but also of the flags of the
> command to be executed.
>
> The following patch solves the problem.
Thanks, however I already changed this by request of Franc,ois
(must have forgotten to tell you all):
http://appel.dyndns.org/fred/software/proc-time.c
--
Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien | http://www.lilypond.org