[bash] time -f "%U+%S"

Hi,

I want to evaluate the total CPU time of a process (user + system). So basically, time.txt -f "%U+%S"
But -f doesn't evaluate the sum.

I had to do :
/usr/bin/time -o time.txt -f "%U+%S" ./a.out ; cat time.txt | bc ; rm time.txt

Any idea to perform that, without a temporary file?

>>11
Nokoing is considered polite in /prog/.