BUILD: Attempt to disentable platform.h, gnunet_common.h and gnunet_private_config.h insanity

4 files changed, 4 insertions, 0 deletions

diff --git a/src/vpn/gnunet-helper-vpn.c b/src/vpn/gnunet-helper-vpn.c
index 7686d51d5..08786e999 100644
--- a/src/vpn/gnunet-helper-vpn.c
+++ b/src/vpn/gnunet-helper-vpn.c
@@ -33,6 +33,7 @@
  * - Philipp Tölke
  */
 #include "platform.h"
+#include "platform.h"
 #ifdef IF_TUN_HDR
 #include IF_TUN_HDR
 #endif
diff --git a/src/vpn/gnunet-service-vpn.c b/src/vpn/gnunet-service-vpn.c
index a2a16e380..d4a006cb9 100644
--- a/src/vpn/gnunet-service-vpn.c
+++ b/src/vpn/gnunet-service-vpn.c
@@ -31,6 +31,7 @@
  *   detect & recover from channel-to-exit failure gracefully
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_common.h"
 #include "gnunet_protocols.h"
diff --git a/src/vpn/gnunet-vpn.c b/src/vpn/gnunet-vpn.c
index 60d631d5e..fdc9df7f4 100644
--- a/src/vpn/gnunet-vpn.c
+++ b/src/vpn/gnunet-vpn.c
@@ -25,6 +25,7 @@
  */
 
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_tun_lib.h"
 #include "gnunet_vpn_service.h"
diff --git a/src/vpn/vpn_api.c b/src/vpn/vpn_api.c
index 8a3464786..5148f21c5 100644
--- a/src/vpn/vpn_api.c
+++ b/src/vpn/vpn_api.c
@@ -24,6 +24,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_vpn_service.h"
 #include "vpn.h"