diff options
| -rw-r--r-- | src/include/port.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/include/port.h b/src/include/port.h index 9f8465e78ad..94a0e2fe2b4 100644 --- a/src/include/port.h +++ b/src/include/port.h @@ -390,6 +390,10 @@ extern int getpeereid(int sock, uid_t *uid, gid_t *gid); extern int isinf(double x); #endif +#ifndef HAVE_MKDTEMP +extern char *mkdtemp(char *path); +#endif + #ifndef HAVE_RINT extern double rint(double x); #endif @@ -466,9 +470,6 @@ extern int pg_check_dir(const char *dir); /* port/pgmkdirp.c */ extern int pg_mkdir_p(char *path, int omode); -/* port/mkdtemp.c */ -extern char *mkdtemp(char *path); - /* port/pqsignal.c */ typedef void (*pqsigfunc) (int signo); extern pqsigfunc pqsignal(int signo, pqsigfunc func); |