Die einfachste Möglichkeit wäre wohl, das bash-keyword "time" zu benutzen. Das sieht auf der Shell dann etwa so aus:
Code:
$ time ./a.out ... führt das Programm aus ...
real 0m2.153s user 0m0.075s sys 0m0.060s
Wenn ich dich richtig verstehe, ist "real" der Wert, den du haben willst. -- Einfachheit ist Voraussetzung für Zuverlässigkeit. -- Edsger Wybe Dijkstra