christos 4614af85f7 We control threaded or not from the Makefile		2004-11-07 02:54:55 +00:00
..
platform.h	We control threaded or not from the Makefile	2004-11-07 02:54:55 +00:00