diff options
author | Bradley Sepos <[email protected]> | 2019-09-08 01:41:55 -0400 |
---|---|---|
committer | Bradley Sepos <[email protected]> | 2019-09-23 04:18:07 -0400 |
commit | 92a56fc25413ed4fc3905ada4b4712367ee43500 (patch) | |
tree | 580d864395781840cb9b75d86062cbbd4375cfda /make | |
parent | 6e2747006c6103d370bddd3093c2b9cb0a6dc3ae (diff) |
build: make: macosx: Make xcodebuild use number of jobs passed to make.
Fixes #1648.
Previously, it was always using the number of jobs in the makefile created by configure.py, either specified by --launch-jobs or the number of active CPU cores.
Diffstat (limited to 'make')
-rw-r--r-- | make/include/tool.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/include/tool.defs b/make/include/tool.defs index 6b3995fd0..0e5cfcc05 100644 --- a/make/include/tool.defs +++ b/make/include/tool.defs @@ -14,3 +14,4 @@ LN.exe = ln GIT.exe = git SED.exe = sed PKGCONFIG.exe = pkg-config +GREP.exe = grep |