diff options
| author | Rickard Green <[email protected]> | 2015-07-07 15:58:43 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-07-07 22:36:39 +0200 |
| commit | f7da0720b17556a9e3df108463643ba10ab1b3a0 (patch) | |
| tree | a00e78bfd2bdfa15a0beb9fa197c395d1f418942 /lib/ose/Makefile | |
| parent | 1c14bf099be15790ccbe56f464e81a9557476b3f (diff) | |
| download | otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.tar.gz otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.tar.bz2 otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.zip | |
Add the --enable-gettimeofday-as-os-system-time configure switch
Forces usage of gettimeofday() for OS system time
Diffstat (limited to 'lib/ose/Makefile')
0 files changed, 0 insertions, 0 deletions