diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-18 13:58:27 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-18 14:11:19 +0200 |
| commit | 22c718ab1777485ad5edf5254d45815e7ffa5000 (patch) | |
| tree | 40ced81b93e32d1f8bc8137f29822d7c00d70582 /misc/scons | |
| parent | 37efaad8fbfc7b263d1f077a3f12cbe46ae5a393 (diff) | |
SCons: Improve registration of compilation_db tool, check version
There's a builtin `toolpath` option we can use for that, so no need to hack
around a custom `scons_site` path.
The script requires SCons 3.1.1 or later, so we enable it conditionally.
Follow-up to #32848.
Diffstat (limited to 'misc/scons')
| -rw-r--r-- | misc/scons/compilation_db.py (renamed from misc/scons/site_tools/compilation_db.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/misc/scons/site_tools/compilation_db.py b/misc/scons/compilation_db.py index 87db32adc9..87db32adc9 100644 --- a/misc/scons/site_tools/compilation_db.py +++ b/misc/scons/compilation_db.py |