summaryrefslogtreecommitdiff
path: root/src/mkheader.c
diff options
context:
space:
mode:
authorWerner Koch <wk@gnupg.org>2022-04-07 10:44:11 +0200
committerWerner Koch <wk@gnupg.org>2022-04-07 10:44:11 +0200
commitff3b2ea8858a7f95633edf0d41d1815048aa8ac8 (patch)
treed7112ccf738440cc87541952068e917e272afb18 /src/mkheader.c
parent038d34656f5b4f0075eced12e86e983163d6d881 (diff)
parent74e6afcc36b28b0acc49fbe25f29b42d1a223caf (diff)
downloadlibgpg-error-ff3b2ea8858a7f95633edf0d41d1815048aa8ac8.tar.gz
Merge branch 'master' of ssh+git://playfair.gnupg.org/git/libgpg-error
--
Diffstat (limited to 'src/mkheader.c')
-rw-r--r--src/mkheader.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/mkheader.c b/src/mkheader.c
index 1d2ea20..154d79f 100644
--- a/src/mkheader.c
+++ b/src/mkheader.c
@@ -563,6 +563,13 @@ write_special (const char *fname, int lnr, const char *tag)
else
fputs ("ssize_t", stdout);
}
+ else if (!strcmp (tag, "SOCKET_t"))
+ {
+ if (have_w32_system)
+ fputs ("uintptr_t", stdout);
+ else
+ fputs ("int", stdout);
+ }
else if (!strcmp (tag, "define:pid_t"))
{
if (have_sys_types_h)