mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Show an error on unknown options
This commit is contained in:
parent
e32eafe48f
commit
4ba80e3715
@ -357,6 +357,9 @@ public class Base {
|
|||||||
currentDirectory = args[i];
|
currentDirectory = args[i];
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
if (args[i].startsWith("--"))
|
||||||
|
showError(null, I18n.format(_("unknown option: {0}"), args[i]), null);
|
||||||
|
|
||||||
String path = args[i];
|
String path = args[i];
|
||||||
// Fix a problem with systems that use a non-ASCII languages. Paths are
|
// Fix a problem with systems that use a non-ASCII languages. Paths are
|
||||||
// being passed in with 8.3 syntax, which makes the sketch loader code
|
// being passed in with 8.3 syntax, which makes the sketch loader code
|
||||||
|
Loading…
x
Reference in New Issue
Block a user