diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-12-01 18:32:23 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-12-01 18:32:23 +0900 |
commit | de5949640a54fde50e9934fe8693159ae05f1541 (patch) | |
tree | 285e0400ec393b4b814449ff0c2a01300bda9a11 /src/include/gnunet_arm_service.h | |
parent | a25fa8cf399e0257a71a7c854fe9055ed0c58ab6 (diff) | |
download | gnunet-de5949640a54fde50e9934fe8693159ae05f1541.tar.gz gnunet-de5949640a54fde50e9934fe8693159ae05f1541.zip |
BUILD: Improve platform-specific includes
This change allows third party programs to use gnunet either with the
platform header from the sources used to build to gnunet, or use their
own platform header by defining GNUNET_CUSTOM_PLATFORM_H which will be
included in its stead.
This also means that programs no longer must include "platform.h" (or
similar) manually.
The change (should be) backwards compatible to some degree.
Fixes #4615
Diffstat (limited to 'src/include/gnunet_arm_service.h')
-rw-r--r-- | src/include/gnunet_arm_service.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/gnunet_arm_service.h b/src/include/gnunet_arm_service.h index 9615f8c9d..453ff4b03 100644 --- a/src/include/gnunet_arm_service.h +++ b/src/include/gnunet_arm_service.h | |||
@@ -43,6 +43,7 @@ extern "C" | |||
43 | #endif | 43 | #endif |
44 | #endif | 44 | #endif |
45 | 45 | ||
46 | #include "gnunet_platform.h" | ||
46 | #include "gnunet_util_lib.h" | 47 | #include "gnunet_util_lib.h" |
47 | 48 | ||
48 | /** | 49 | /** |