4.4. Notes on the Command Line

This section contains some additional useful notes on the operation of the gnatmake command.