1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-06 01:08:25 +01:00

'.ino' extension of sketch file was hardcoded. But IDE supports '.pde' files as well. Fixes #4021

This commit is contained in:
Federico Fissore 2015-11-02 12:56:04 +01:00
parent 320dcef67e
commit 5ceca65fe2

View File

@ -152,7 +152,7 @@ public class Compiler implements MessageConsumer {
size(prefs); size(prefs);
return sketch.getName() + ".ino"; return sketch.getPrimaryFile().getName();
} }
private String VIDPID() { private String VIDPID() {