9.3 Options for modifying the command line

--flags-file filename

--flags filename

Take options from the specified file, and handle them as if they were specified on the command line.

--filenames-from-stdin

Read in from standard input a newline-terminated module name or file name, compile that module or file, and repeat until reaching end-of-file. (This allows a program or user to interactively compile several modules without the overhead of creating a process for each one.)