mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
parent
24029c5ace
commit
a76588cf5d
@ -488,7 +488,7 @@ public class Base {
|
|||||||
} else if (parser.isGetPrefMode()) {
|
} else if (parser.isGetPrefMode()) {
|
||||||
BaseNoGui.dumpPrefs(parser);
|
BaseNoGui.dumpPrefs(parser);
|
||||||
} else if (parser.isVersionMode()) {
|
} else if (parser.isVersionMode()) {
|
||||||
System.out.print("Arduino: " + BaseNoGui.VERSION_NAME_LONG);
|
System.out.println("Arduino: " + BaseNoGui.VERSION_NAME_LONG);
|
||||||
System.exit(0);
|
System.exit(0);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user