From 570ae1e73fbed8eed9fd8c756ff58c25751ac24a Mon Sep 17 00:00:00 2001
From: Nils Durner <durner@gnunet.org>
Date: Thu, 19 Feb 2009 19:16:48 +0000
Subject: [PATCH] workaround for pthreads/W32

---
 src/include/platform.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/include/platform.h b/src/include/platform.h
index a8cdb92c..b375e3a7 100644
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -53,7 +53,9 @@
 #include <errno.h>
 #include <fcntl.h>
 #include <signal.h>
+#undef HAVE_CONFIG_H
 #include <pthread.h>
+#define HAVE_CONFIG_H
 
 /* different OSes have fd_set in
    a broad range of header files;