From d8d70ee0bd23338fbb9ab0ccde25168c4c354f57 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 26 Oct 2015 18:14:05 +0100
Subject: [PATCH] Windows: ":" is an illegal char for a file name. Fixes #4026

---
 arduino-core/src/cc/arduino/Compiler.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arduino-core/src/cc/arduino/Compiler.java b/arduino-core/src/cc/arduino/Compiler.java
index d5940ad70..30fd876e7 100644
--- a/arduino-core/src/cc/arduino/Compiler.java
+++ b/arduino-core/src/cc/arduino/Compiler.java
@@ -355,6 +355,7 @@ public class Compiler implements MessageConsumer {
     try {
       compiledSketch = StringReplacer.replaceFromMapping(compiledSketch, prefs);
       copyOfCompiledSketch = StringReplacer.replaceFromMapping(copyOfCompiledSketch, prefs);
+      copyOfCompiledSketch = copyOfCompiledSketch.replaceAll(":", "_");
 
       Path compiledSketchPath;
       Path compiledSketchPathInSubfolder = Paths.get(prefs.get("build.path"), "sketch", compiledSketch);