diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-11-06 16:54:18 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-11-07 10:12:35 +0100 |
| commit | 5ff4d77f5585f9aad068fcc473393095e0640ae4 (patch) | |
| tree | bd4bc1a09cd1acd8b57ddcb929dce3ef5a6150d1 /Makefile | |
| parent | 39a2e166dd316cf3bf248cb109dde3a95d753541 (diff) | |
Precompile headers
This cuts 'make install -j6' on my laptop from 170s to 134s.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -15,8 +15,8 @@ makefiles = \ tests/local.mk \ tests/plugins/local.mk -GLOBAL_CXXFLAGS += -g -Wall -include config.h - -include Makefile.config include mk/lib.mk + +GLOBAL_CXXFLAGS += -g -Wall -include config.h -std=c++17 |