diff options
| author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2015-02-20 18:00:03 +0100 |
|---|---|---|
| committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2015-02-20 18:02:23 +0100 |
| commit | 6096eb2db483cddd2211b9d8bc96298a38ac3169 (patch) | |
| tree | 29c2122fcf375a5eb16ebd9c903b8e06ab68f3a2 /lib/licenses | |
| parent | 4126f910ae9fd2d4fc756e7f07c03049fe26daad (diff) | |
| download | astra-6096eb2db483cddd2211b9d8bc96298a38ac3169.tar.gz astra-6096eb2db483cddd2211b9d8bc96298a38ac3169.tar.bz2 astra-6096eb2db483cddd2211b9d8bc96298a38ac3169.tar.xz astra-6096eb2db483cddd2211b9d8bc96298a38ac3169.zip | |
Check if we need librt for clock_gettime in configure script
Diffstat (limited to 'lib/licenses')
0 files changed, 0 insertions, 0 deletions