@c "opt/option-C-upper.texi"
@c extracted from "../../src/main/prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -C options
When input is a source file, forward @var{options} to the compiler driver.  
@end defopt

