diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-04-14 13:49:59 -0700 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-04-14 13:49:59 -0700 |
commit | 79baeabd91fc5e369d109c8350b7369283b0c607 (patch) | |
tree | 78b23748715c1884053ed000becb7bfff4670928 /examples | |
parent | 857ad5fda8129d7b87b5bff781aacf48a37811e2 (diff) |
For a while, we were very confused why ppamltracer would work happily on
some Debian systems but produce dynamic linker errors on other, similar
ones. It turns out the difference was glibc versions – if you have
glibc <2.17, you need to specify '-lrt' for one of the functions
ppamltracer uses. This commit adds an Autoconf macro that adds that
flag if necessary; it should improve portability in general as well.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions