You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Compiler
 Command line

 Topics:

 Command line interactive mode
 Introduction
 Command line options
 Batch compilation