diff options
| author | Paul Smith <psmith@gnu.org> | 2023-02-19 08:52:02 -0500 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2023-02-19 08:52:02 -0500 |
| commit | 536c3e2b37c0baa02b359863d4db9b1a1e22fb15 (patch) | |
| tree | 6a949220390644dad8e961f0a7f6ad96ec6e8496 | |
| parent | 4c9b92256088ddd6fc9e840869f4fe52de4bebc3 (diff) | |
| download | make-git-536c3e2b37c0baa02b359863d4db9b1a1e22fb15.tar.gz | |
* src/makeint.h [CYGWIN]: Use pipe mode for the jobserver
| -rw-r--r-- | src/makeint.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/makeint.h b/src/makeint.h index 085a4ea8..db896317 100644 --- a/src/makeint.h +++ b/src/makeint.h @@ -86,6 +86,9 @@ extern int errno; #if __gnu_hurd__ # define MK_OS_HURD 1 #endif +#if __CYGWIN__ +# define MK_OS_CYGWIN 1 +#endif #if defined(__MVS__) # define MK_OS_ZOS 1 #endif @@ -748,9 +751,9 @@ extern char cmd_prefix; extern unsigned int no_intermediates; #if HAVE_MKFIFO -# if !defined(JOBSERVER_USE_FIFO) && !MK_OS_HURD /* It seems that mkfifo() is not working correctly, or at least not the way - GNU make wants it to work, on GNU/Hurd so don't use it there. */ + GNU make wants it to work, on GNU/Hurd and Cygwin so don't use it there. */ +# if !defined(JOBSERVER_USE_FIFO) && !MK_OS_HURD && !MK_OS_CYGWIN # define JOBSERVER_USE_FIFO 1 # endif #endif |