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 /NEWS.txt | |
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 'NEWS.txt')
0 files changed, 0 insertions, 0 deletions