Windows: A pipe() replacement whose ends are not inherited to children.

diff --git a/compat/mingw.h b/compat/mingw.h
index fad855ef99549d0ee36f9272cbaa76419d8058b6..0ce9c96f93a57d18588c4e0ba48957fa70ba1d71 100644 (file)
--- a/compat/mingw.h
+++ b/compat/mingw.h
@@ -122,14 +122,11 @@ static inline int waitpid(pid_t pid, unsigned *status, unsigned options)
        return -1;
 }
 
-
-static inline int pipe(int filedes[2])
-{ return _pipe(filedes, 8192, 0); }
-
 /*
  * implementations of missing functions
  */
 
+int pipe(int filedes[2]);
 unsigned int sleep (unsigned int seconds);
 int mkstemp(char *template);
 int gettimeofday(struct timeval *tv, void *tz);
@@ -154,6 +151,12 @@ char *mingw_getcwd(char *pointer, int len);
 int mingw_rename(const char*, const char*);
 #define rename mingw_rename
 
+void mingw_execvp(const char *cmd, char *const *argv);
+#define execvp mingw_execvp
+
+sig_handler_t mingw_signal(int sig, sig_handler_t handler);
+#define signal mingw_signal
+
 /*
  * git specific compatibility
  */