diff options
author | Aleksey Kladov <[email protected]> | 2020-08-25 16:00:08 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-08-25 16:04:24 +0100 |
commit | 6b8bc132dc6dee538964fffa0720480beb5b25dd (patch) | |
tree | bc5229fabd65a060deaac0b801ef351dc2480a26 /.gitignore | |
parent | 81a3404d8fcca9405a76cd971c8fe54ff732bda9 (diff) |
Prep work for overriding sysroot
The idea here is to make auto-discovery optional, and to allow to set
the path to sysroot directly. This is handy for JSON projects.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions