This section explains how to launch a build from command line with Arduino IDE 1.5.
This feature is available since beta release 1.5.2

Command line syntax

The updated guide is available here:

https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc