diff --git a/pio-tools/override_copy.py b/pio-tools/override_copy.py index 1cb6c991b..5318f9169 100644 --- a/pio-tools/override_copy.py +++ b/pio-tools/override_copy.py @@ -7,3 +7,9 @@ if os.path.isfile("tasmota/user_config_override.h"): print ("*** use provided user_config_override.h as planned ***") else: shutil.copy("tasmota/user_config_override_sample.h", "tasmota/user_config_override.h") + +# copy platformio_override_sample.ini to platformio_override.ini +if os.path.isfile("platformio_override.ini"): + print ("*** use provided platformio_override.ini as planned ***") +else: + shutil.copy("platformio_override_sample.ini", "platformio_override.ini")