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/configuration.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/configuration.c')
| -rw-r--r-- | src/util/configuration.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/configuration.c b/src/util/configuration.c index 5c415aff7..3ed8599a8 100644 --- a/src/util/configuration.c +++ b/src/util/configuration.c | |||
| @@ -22,7 +22,7 @@ | |||
| 22 | * @brief configuration management | 22 | * @brief configuration management |
| 23 | * @author Christian Grothoff | 23 | * @author Christian Grothoff |
| 24 | */ | 24 | */ |
| 25 | #include "platform.h" | 25 | |
| 26 | #include "gnunet_crypto_lib.h" | 26 | #include "gnunet_crypto_lib.h" |
| 27 | #include "gnunet_strings_lib.h" | 27 | #include "gnunet_strings_lib.h" |
| 28 | #include "gnunet_os_lib.h" | 28 | #include "gnunet_os_lib.h" |