aboutsummaryrefslogtreecommitdiffhomepage
path: root/include
diff options
context:
space:
mode:
authorGravatar Don Stewart <dons@galois.com>2009-01-30 11:35:02 +0000
committerGravatar Don Stewart <dons@galois.com>2009-01-30 11:35:02 +0000
commit91a9b62f812faa5ae09654e860d1b31363098ec5 (patch)
tree8fdab516af5a41034db0d8f61c0993dba3c1a637 /include
parent65aba51211715073003ab9af40404fead19ad082 (diff)
Add check for -lrt to get the shm* functions. Subst. in buildinfo
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions