christos e93985e2d5 use -pthread for more portability		2016-01-27 18:43:44 +00:00
..
Makefile	use -pthread for more portability	2016-01-27 18:43:44 +00:00