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 /src/binary-reader-logging.h | |
| 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 'src/binary-reader-logging.h')
0 files changed, 0 insertions, 0 deletions