[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
compilation time stamp: add more options
|
From: |
Dan Jacobson |
|
Subject: |
compilation time stamp: add more options |
|
Date: |
21 Mar 2002 22:29:28 +0800 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 |
At present we see "Compilation finished at Thu Mar 21 22:24:46" at the
bottom of compilation buffers. OK, but how about more general options
being added: show how long the compilation took, show also when we
started, placing this at top or near end of buffer... etc. Or also
showing no time stamp at all.
--
http://www.geocities.com/jidanni/ Taiwan(04)25854780
- compilation time stamp: add more options,
Dan Jacobson <=