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 /erts/Makefile.in | |
| 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 'erts/Makefile.in')
0 files changed, 0 insertions, 0 deletions