vxworks diff from Thomas Martin

AUTHORS

@@ -11,6 +11,7 @@ Nils Durner <durner@gnunet.org>
 Heikki Lindholm <holindho@cs.helsinki.fi>
 Alex Sadovsky <alexeysad@gmail.com>
 Greg Schohn <greg.schohn@gmail.com>
+Thomas Martin <Thomas.Martin@rohde-schwarz.com>
 
 Documentation contributions also came from:
 Marco Maggi <marco.maggi-ipsu@poste.it>

src/include/platform.h

@@ -52,11 +52,21 @@
 #include <pthread.h>
 #include <sys/types.h>
 
+
 /* different OSes have size_t, fd_set in
    a broad range of header files;
    we just include most of them (if they
    are available) */
 
+
+#ifdef OS_VXWORKS
+#include <sockLib.h>
+#include <netinet/in.h>
+#include <stdarg.h>
+#include <sys/mman.h>
+#define RESTRICT __restrict__
+#endif
+
 #if HAVE_SYS_SELECT_H
 #include <sys/select.h>
 #endif

src/include/plibc.h

@@ -591,6 +591,6 @@ extern "C"
 
 
 #endif
-//_PLIBC_H_
+/* _PLIBC_H_ */
 
 /* end of plibc.h */