@c "compile/option-p.texi"
@c extracted from "../../src/main/compile.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -p
Expect input to be piped from stdin rather than a named file.  
Since the name of the input file is omitted in this case, 
the only non-option argument (if any) is interpreted as the name
of the output object file.  
@end defopt

