=====================================
Windows 2000 Professional
CYGWIN_NT-5.0 1.5.4(0.94/3/2)
=====================================
------------------
$ time ls
<List of files>
real 0m0.038s
user 0m0.020s
sys 0m0.040s
$ time -v ls
bash: -v: command not found
real 0m0.039s
user 0m0.010s
sys 0m0.040s
$ man times
No manual entry for times
$ info times > dummy
info: No menu item `times' in node `(dir)Top'.
$ times --help
bash: times: --: invalid option
times: usage: times
------------------
Question-1 (time) We can see that user-used-time < sys-used-time?
Doesn't sys-used-time include user-used-time?
What is user-used-time?
Question-2 (time) Why does 'time' reject the '-v' options.
'info time' contains the followin axample :
eg$ time -v sleep 4
Command being timed: "sleep 4"
User time (seconds): 0.00
System time (seconds): 0.05
[snip]
Questin-3 (times) What does the times utility do?
Appendix.
$ which time
/usr/bin/time
$ cygcheck -svr | grep time
mingw-runtime 3.1-1
// Where is the time/times utility
=====================================
Alex Vinokur
mailto:[EMAIL PROTECTED]
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
