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/util/child_management.c | |
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/util/child_management.c')
-rw-r--r-- | src/util/child_management.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/child_management.c b/src/util/child_management.c index 8c413a8b5..6cce44fdd 100644 --- a/src/util/child_management.c +++ b/src/util/child_management.c | |||
@@ -25,7 +25,7 @@ | |||
25 | * @author Dominik Meister (ANASTASIS) | 25 | * @author Dominik Meister (ANASTASIS) |
26 | * @author t3sserakt | 26 | * @author t3sserakt |
27 | */ | 27 | */ |
28 | #include "platform.h" | 28 | |
29 | #include "gnunet_util_lib.h" | 29 | #include "gnunet_util_lib.h" |
30 | #include "gnunet_child_management_lib.h" | 30 | #include "gnunet_child_management_lib.h" |
31 | 31 | ||