Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #33 from edsko/edsko/cc-options-pthread
Use `-pthread` rather than `-lpthread`
- Loading branch information