summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-07-03 11:36:29 +0200
committerChristian Grothoff <christian@grothoff.org>2020-07-03 11:36:29 +0200
commit8cfac5bb1d0f877bd8393a70c1e2524326d7842f (patch)
tree10e4e7d7f44cae622f77c2d0bedb45395238291d
parent2020f9999392ddbdccce68bba7d01ee1351c2b30 (diff)
include platform header
-rw-r--r--src/ext/gnunet-service-ext.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ext/gnunet-service-ext.c b/src/ext/gnunet-service-ext.c
index d172eb2..d434182 100644
--- a/src/ext/gnunet-service-ext.c
+++ b/src/ext/gnunet-service-ext.c
@@ -23,6 +23,7 @@
* @brief ext service implementation
* @author Christian Grothoff
*/
+#include <gnunet/platform.h>
#include "gnunet_ext_config.h"
#include <stddef.h>