Skip to main content
added 9 characters in body
Source Link
Kevin
  • 41.7k
  • 17
  • 91
  • 113

After some hardcore bash code examining I found out that bash timestime uses getrusage()getrusage() and GNU timetime uses times()times(). getrusage()getrusage() is far more precise because of microsecond resolution.

After some hardcore bash code examining I found out that bash times uses getrusage() and GNU time uses times(). getrusage() is far more precise because of microsecond resolution.

After some hardcore bash code examining I found out that bash time uses getrusage() and GNU time uses times(). getrusage() is far more precise because of microsecond resolution.

Source Link

After some hardcore bash code examining I found out that bash times uses getrusage() and GNU time uses times(). getrusage() is far more precise because of microsecond resolution.