Input file list

On the command line, the input file list is one or more file names separated by spaces, together with the files listed in arguments to -VIA options; (for details see General options).

The input list is strictly ordered as given. For example:

yields the input file list:

where vf1/1, vf1/2, ... are the first, second, ... files listed in -VIA file vf1, etc.

Each of the files in the input list must be in ARM Object Format (compiled or assembled files) or ARM Object Library Format (libraries).