Use gettimeofday rather than ftime

vermaseren / form

The FORM project for symbolic manipulation of very big expressions

GNU General Public License v3.0

1.13k stars 135 forks source link

Closed tueda closed 5 years ago

tueda commented 7 years ago

As mentioned in https://github.com/vermaseren/form/issues/217#issuecomment-315040923, ftime has been removed from POSIX. gettimeofday is obsolescent, but still not removed in the 2016 Edition. A patch to use gettimeofdayinstead of ftime is here. (I hope I didn't mess up anything. Timers are hard to debug...)

tueda commented 5 years ago

The idea was implemented and improved in #276.