diff options
author | Rickard Green <[email protected]> | 2015-08-19 16:15:32 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2015-08-21 10:01:08 +0200 |
commit | 08f8b454596d51de367e5559b7104300c2a7b954 (patch) | |
tree | 3ba3c8b7c6bfe777ea0b799650ec353e81682a3a /lib/dialyzer | |
parent | 61828f77ca2542109ece006d730a4f8fe3300616 (diff) | |
download | otp-08f8b454596d51de367e5559b7104300c2a7b954.tar.gz otp-08f8b454596d51de367e5559b7104300c2a7b954.tar.bz2 otp-08f8b454596d51de367e5559b7104300c2a7b954.zip |
Improve choice of clock sources at build time
- Documented the configure switch --with-clock-resolution=<RES>
- Changed default clock source for OS system time on Darwin to
gettimeofday(). In order to use clock_get_time(CALENDER_CLOCK, ...)
on Darwin, the user has to pass --with-clock-resolution=high when
configuring the build.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions