diff options
author | Ben Smith <binjimin@gmail.com> | 2017-05-23 10:41:49 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-23 10:41:49 -0700 |
commit | 9b1a28c074d5a5c5f2151a26ac169764677b416d (patch) | |
tree | 2ac0ee26d46a1699eb221468a5e3f152683ea768 /Makefile | |
parent | 9a0e5a27ada9e19c24280f1faa1887c2847353e2 (diff) | |
download | wabt-9b1a28c074d5a5c5f2151a26ac169764677b416d.tar.gz wabt-9b1a28c074d5a5c5f2151a26ac169764677b416d.tar.bz2 wabt-9b1a28c074d5a5c5f2151a26ac169764677b416d.zip |
Use + with $(MAKE) to use jobserver (#450)
This allows you to run:
```
make -j10
```
Without this, Make complains:
make[1]: warning: jobserver unavailable: using -j1. Add '+' to
parent make rule.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -90,7 +90,7 @@ BUILD_CMD := ninja BUILD_FILE := build.ninja GENERATOR := Ninja else -BUILD_CMD := $(MAKE) --no-print-directory +BUILD_CMD := +$(MAKE) --no-print-directory BUILD_FILE := Makefile GENERATOR := "Unix Makefiles" endif |