diff options
Diffstat (limited to 'minion/scripts')
| -rw-r--r-- | minion/scripts/override_compiledb_path.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/minion/scripts/override_compiledb_path.py b/minion/scripts/override_compiledb_path.py new file mode 100644 index 0000000..38f52e9 --- /dev/null +++ b/minion/scripts/override_compiledb_path.py @@ -0,0 +1,7 @@ +import os + +Import("env") + +path = os.path.join("$BUILD_DIR", "compile_commands.json") + +env.Replace(COMPILATIONDB_PATH=path) |