diff options
| author | Zeranoe <zeranoe@gmail.com> | 2020-07-04 18:49:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-04 18:49:50 -0400 |
| commit | aa8499b8492b4e2282b03250d617d5b2bc74314d (patch) | |
| tree | 256c8edea167ac290ed186fb3b832939f4394353 | |
| parent | 5963e8d9325d661eb34eb2d93e7f8cf9326e8a51 (diff) | |
| parent | fe744d05efdbfac43bcafb877dd1bbf35fad877d (diff) | |
Merge pull request #17 from Zeranoe/pthreads
Add --enable-pthreads option
0 files changed, 0 insertions, 0 deletions