Stephen Dolan a8e2f2b170 Unbox result of Unix.gettimeofday in unix and win32unix (#9561) ... This patch makes Unix.time and Unix.gettimeofday be unboxed and @noalloc, which makes them about 20% faster (as measured by a stupid benchmark that does them many times in a loop). This removes the fallback and error-handling paths from gettimeofday. Neither is needed according to Single Unix Specification and POSIX. Fixes: #7446		2020-06-02 11:05:57 +02:00
..
bigarray	Delete the deprecated Bigarray.*.map_file functions	2019-02-26 11:13:44 +00:00
dynlink	makefiles: move the inclusion of Makefile.build_config in Makefile.common	2020-05-06 12:10:02 +02:00
raw_spacetime_lib	Cease committing C dependendency information	2020-04-17 14:11:22 +01:00
str	Cease committing C dependendency information	2020-04-17 14:11:22 +01:00
systhreads	Memprof: fatal error if thread is stopped from a callback.	2020-05-11 15:55:07 +02:00
unix	Unbox result of Unix.gettimeofday in unix and win32unix (#9561)	2020-06-02 11:05:57 +02:00
win32unix	Unbox result of Unix.gettimeofday in unix and win32unix (#9561)	2020-06-02 11:05:57 +02:00
Makefile	makefiles: move the inclusion of Makefile.build_config in Makefile.common	2020-05-06 12:10:02 +02:00
Makefile.otherlibs.common	makefiles: move the inclusion of Makefile.build_config in Makefile.common	2020-05-06 12:10:02 +02:00