diff options
| author | makaimann <makaim@stanford.edu> | 2019-04-15 17:17:29 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-15 17:17:29 -0700 |
| commit | 3df27eab5e9da3bab7853c02bdea6a250623d2a5 (patch) | |
| tree | 0eb6e80e55ed8e67772b719a32ff7185fcf68aa1 /src/base/GitInfo.cmake.in | |
| parent | 8db8b76f4ee98e3166ee8bb2e1bad77380060edc (diff) | |
Check for rt library in configuration -- support for glibc<2.17 (#2854)
This is a minor fix for systems with glibc version < 2.17. In that case, we need to link with `-lrt` according to the clock_gettime man page.
Diffstat (limited to 'src/base/GitInfo.cmake.in')
0 files changed, 0 insertions, 0 deletions