diff options
Diffstat (limited to 'src/mkheader.c')
-rw-r--r-- | src/mkheader.c | 7 |
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) |