diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 8cb07223..d0ab898a 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -417,8 +417,11 @@ class PlatformRunMixin(object): cmd.append("%s=%s" % (key.upper(), self.encode_scons_arg(value))) def _write_and_flush(stream, data): - stream.write(data) - stream.flush() + try: + stream.write(data) + stream.flush() + except IOError: + pass copy_pythonpath_to_osenv() result = exec_command(