diff options
| author | Paul Smith <psmith@gnu.org> | 2011-11-15 22:56:26 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2011-11-15 22:56:26 +0000 |
| commit | cb0bedc3d07c5561a89c14ea5cc81c08215855ee (patch) | |
| tree | 93a5792b05f9f9d1ef4175a716f1cf8da37fcb3f | |
| parent | dc2a6ceb81730c25c0beec1f13994b9710767ee1 (diff) | |
| download | gunmake-cb0bedc3d07c5561a89c14ea5cc81c08215855ee.tar.gz | |
Allow os2 and mingw to disable jobserver with a configure option.
| -rw-r--r-- | configure.in | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/configure.in b/configure.in index 31c528d..5bcbc4b 100644 --- a/configure.in +++ b/configure.in @@ -306,15 +306,17 @@ case "/$ac_cv_func_pipe/$ac_cv_func_sigaction/$make_cv_sa_restart/$has_wait_noha */no/*) make_cv_job_server=no ;; esac -# Also supported on OS2 and W32 +# Also supported on OS2 and MinGW case "$host_os" in - os2*|mingw32) make_cv_sa_restart=yes ;; + os2*|mingw*) make_cv_job_server=yes ;; esac -if test "$make_cv_job_server" != no; then - AC_DEFINE(MAKE_JOBSERVER, 1, - [Define to 1 to enable job server support in GNU make.]) -fi +# If we support it and the user didn't disable it, build with jobserver +case "/$make_cv_job_server/$user_job_server/" in + */no/*) : no jobserver ;; + *) AC_DEFINE(MAKE_JOBSERVER, 1, + [Define to 1 to enable job server support in GNU make.]) ;; +esac # if we have both lstat() and readlink() then we can support symlink # timechecks. |