diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-10-03 14:37:15 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-10-03 15:18:58 +0200 |
| commit | c9a54ee6b45c8566cf2d24f9763907451b50f7c1 (patch) | |
| tree | 0ef8390a9221d7c01963f809a4bf28c83761cb4d /CONTRIBUTORS | |
| parent | 4b88be0201a947491130f174552a86a50c233dc2 (diff) | |
| download | ouroboros-c9a54ee6b45c8566cf2d24f9763907451b50f7c1.tar.gz ouroboros-c9a54ee6b45c8566cf2d24f9763907451b50f7c1.zip | |
build: Prioritize raw socket API in build
This will change the build to exclusively select one raw socket API in
case multiple are present in the sytem, which will simplify the code.
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions