diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-03-14 10:40:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-14 10:40:26 -0700 |
commit | 8ae19f695b59445f049020984b87e34433a38ad9 (patch) | |
tree | 33352dcad0dcc929121419665cc2b840066e2d95 /configure.ac | |
parent | e5f3b5e6cac210eef1e105aacf1e821b386a72c6 (diff) | |
parent | b36ffd6c40b0f037e780f71a2d5c10ff53cbee14 (diff) |
Merge pull request #132 from 4tXJ7f/fix_mingw64
Fix MinGW-w64 build
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 3d645b24e..d2c08661b 100644 --- a/configure.ac +++ b/configure.ac @@ -999,7 +999,7 @@ fi # Checks for libraries. -AC_SEARCH_LIBS([clock_gettime], [rt], +AC_SEARCH_LIBS([clock_gettime], [rt pthread], [AC_DEFINE([HAVE_CLOCK_GETTIME], [1], [Defined to 1 if clock_gettime() is supported by the platform.])], [AC_LIBOBJ([clock_gettime])]) |