mirror of https://github.com/noisymime/Arduino.git
Merge branch 'master' of github.com:arduino/ARM
This commit is contained in:
commit
2a420e5300
|
@ -141,6 +141,10 @@ public class BasicUploader extends Uploader {
|
|||
throw new RunnerException(e.getMessage());
|
||||
}
|
||||
prefs.put("serial.port", uploadPort);
|
||||
if (uploadPort.startsWith("/dev/"))
|
||||
prefs.put("serial.port.file", uploadPort.substring(5));
|
||||
else
|
||||
prefs.put("serial.port.file", uploadPort);
|
||||
}
|
||||
|
||||
prefs.put("build.path", buildPath);
|
||||
|
|
Binary file not shown.
Binary file not shown.
Loading…
Reference in New Issue