[EMAIL PROTECTED] writes:
> Does anyone know how this is meant to be done; ie, why is 
> /usr/bin/time so lame on Linux?


     "Master," I complained, "the programmer who wrote this code is
     lazy! The bug is simple to correct and yet he's done nothing
     about it."

     My Master raised his eyebrows and asked, "why, then, have you not
     fixed it yourself?"

     I was then enlightened.
 

-- 

Han-Wen Nienhuys, [EMAIL PROTECTED] ** GNU LilyPond - The Music Typesetter 
      http://www.cs.uu.nl/people/hanwen/lilypond/index.html 

Reply via email to