bug in 'time' ?

[BURLET Frederic <fburlet@info.fundp.ac.be>]

Hi!

I don't know if it is a bug but I don't manage to use options with the
command 'time'.
For example, -v option which is verbose option gives
<tscreen>
$ time -v ./myprog
bash: -v: command not found

real    0m0.072s
user    0m0.000s
sys     0m0.000s
</tscreen>
Another one is the wellknown --version option it gives
<tscreen>
$ time --version
bash: --version: command not found

real    0m0.055s
user    0m0.000s
sys     0m0.000s
</tscreen>

In the man/info pages we find:
" Options  to  time  must  appear on the command line before
  COMMAND.  Anything on the command line  after  COMMAND  is
  passed as arguments to COMMAND."

Well, ok...
I have also written a bash script which is using 'time', but the result is
the same!
Any idea ? I need this command to evaluate time- and space-consumming of a
program for my thesis.

Thx.

Fred.


+--,-.--+------------------            -------------------+
|  oo|  | Frédéric BURLET                Linux Forever... |
| /`'_) | IIIième Maitrise Informatique, FUNDP            |
|(\__|/ | HomePage : http://www.info.fundp.ac.be/~fburlet/|
+-------+-------------------------------------------------+