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/getopt.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/getopt.c')
-rw-r--r-- | src/util/getopt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/getopt.c b/src/util/getopt.c index 6dfad96da..08c490fce 100644 --- a/src/util/getopt.c +++ b/src/util/getopt.c | |||
@@ -37,7 +37,7 @@ | |||
37 | * replace main GNU getopt parser with one that | 37 | * replace main GNU getopt parser with one that |
38 | * actually fits our API. | 38 | * actually fits our API. |
39 | */ | 39 | */ |
40 | #include "platform.h" | 40 | |
41 | #include "gnunet_util_lib.h" | 41 | #include "gnunet_util_lib.h" |
42 | 42 | ||
43 | #ifdef VMS | 43 | #ifdef VMS |