diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-11 23:10:08 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-13 13:37:55 +0100 |
commit | 5d3904c4d0593ddb5fcffad320150622ad67f27e (patch) | |
tree | 25aa627ff8f2b993c7a19275e0f56f2558ac52bb /doc/man/fset_zero.3 | |
parent | af3d6479ddbfe995b0ae8bb1488e8756e32c2905 (diff) | |
download | ouroboros-5d3904c4d0593ddb5fcffad320150622ad67f27e.tar.gz ouroboros-5d3904c4d0593ddb5fcffad320150622ad67f27e.zip |
build: Avoid duplicate definitions in libraries
There were sources defined in multiple libraries. This issue was
reported by the address sanitizer on FreeBSD.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'doc/man/fset_zero.3')
0 files changed, 0 insertions, 0 deletions