time: Should real time usage account discontinous jumps?

Hello,

The GNU time as well as bash built-in compute real time process usage as
a simple difference between two real time points. If there was a time
adjustement in between (by NTP or manual), the meassured value would be
affected.

I have found any hint nowhere if this is intended behavior or if one should
meassure some kind of monotic time line.

Is there any general agreement? My personal opinion is that monotonic
clock_gettime(CLOCK_MONOTONIC_RAW) is the best option.

-- Petr

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)

iF4EABEIAAYFAlJCxKgACgkQEsnFx2fG+qKQHgD/f/zWFYxSCi5K+mbCYGv9bc9y
a5gdz0xi64kjs4thXZ8A/0+px2lHf2VU7RSrEpv0/AKSgqMEJJc5YYOQ32QAyVtu
=2y33
-----END PGP SIGNATURE-----