diff options
author | HampusM <hampus@hampusmat.com> | 2022-05-30 12:50:01 +0200 |
---|---|---|
committer | HampusM <hampus@hampusmat.com> | 2022-05-30 12:50:01 +0200 |
commit | 1452435a8d662bbd39f0c812cdc24ddd4ec226d3 (patch) | |
tree | c9e55e696c975ca1b85ac3c01d979fd312354d12 /minion/platformio.ini | |
parent | deaf3d4323f6fbc997c2d280fee16b39fd192de1 (diff) |
build(minion): add override compiledb path
Diffstat (limited to 'minion/platformio.ini')
-rw-r--r-- | minion/platformio.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/minion/platformio.ini b/minion/platformio.ini index 75ca9d1..2abc5cf 100644 --- a/minion/platformio.ini +++ b/minion/platformio.ini @@ -15,3 +15,4 @@ build_src_flags = -Wconversion -pedantic -felide-constructors +extra_scripts = post:scripts/override_compiledb_path.py |