diff -r 000000000000 -r 068428edee47 select.h1
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/select.h1	Fri Oct 19 14:06:22 2007 +0200
@@ -0,0 +1,8 @@
+#ifndef SELECT_H
+#define SELECT_H
+
+#include <sys/types.h>
+#include <sys/time.h>
+extern int select();
+
+#endif