diff options
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 |