diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-08 21:46:47 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-09 09:20:53 +0100 |
| commit | f94df6fa2b59f688761988362607ee40455e8e3b (patch) | |
| tree | 38e90e27b17c3f22543d350a58f4e48a8eeb6005 /doc/Makefile | |
| parent | 3cb9dc78d6001af550f125bb6f8b7da27a291add (diff) | |
SCons: Make compilation database generation optional
Saves around 3 s on incremental rebuilds to have it disabled by default.
Can be enabled with `compiledb=yes`.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions