1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

Don't export sketch if the underlying core does not support it. Fixes #3171

This commit is contained in:
Federico Fissore 2015-05-18 13:34:29 +02:00
parent 19aa7edf1d
commit 4c3de26631

View File

@ -1155,6 +1155,11 @@ public class Compiler implements MessageConsumer {
//7. Save the .hex file
void saveHex() throws RunnerException {
if (!prefs.containsKey("recipe.output.tmp_file") || !prefs.containsKey("recipe.output.save_file")) {
System.err.println(_("Warning: This core does not support exporting sketches. Please consider upgrading it or contacting its author"));
return;
}
PreferencesMap dict = new PreferencesMap(prefs);
dict.put("ide_version", "" + BaseNoGui.REVISION);