From fc8f84f06b919b110c38bc69590e065cec0f379c Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 24 Sep 2015 15:29:37 +0200
Subject: [PATCH] Adding .elf extension to compiled sketch list

---
 arduino-core/src/cc/arduino/CompilerUtils.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arduino-core/src/cc/arduino/CompilerUtils.java b/arduino-core/src/cc/arduino/CompilerUtils.java
index 95dd47f4c..7409855a5 100644
--- a/arduino-core/src/cc/arduino/CompilerUtils.java
+++ b/arduino-core/src/cc/arduino/CompilerUtils.java
@@ -49,7 +49,9 @@ public class CompilerUtils {
       "{build.path}/{build.project_name}.with_bootloader.hex",
       "{build.path}/{build.project_name}.hex",
       "{build.path}/sketch/{build.project_name}.bin",
-      "{build.path}/{build.project_name}.bin"
+      "{build.path}/{build.project_name}.bin",
+      "{build.path}/sketch/{build.project_name}.elf",
+      "{build.path}/{build.project_name}.elf"
     );
     Optional<File> sketch = paths.stream().
       map(path -> StringReplacer.replaceFromMapping(path, prefs)).