rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00
Code Issues Releases Activity

Merge pull request #2074 from matthijskooijman/ide-1.5.x-dep-spaces

Browse Source 
Unescape special characters in dependency files
This commit is contained in:
Cristian Maglie 2014-05-19 18:53:57 +02:00
commit de1e65f716
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
app/src/processing/app/debug/Compiler.java
View File

@ -297,6 +297,9 @@ public class Compiler implements MessageConsumer {
line = line.substring(0, line.length() - 1);
}
line = line.trim();
// Strip backslash escape sequences. This replaces \\ with \ and
// removes all other backslashes
line = line.replaceAll("\\\\(.)", "$1");
if (line.length() == 0) continue; // ignore blank lines
if (need_obj_parse) {
// line is supposed to be the object file - make sure it really is!