diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/running.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/running.html b/doc/running.html index 177e6357..91a719f9 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -111,6 +111,7 @@ are accepted: | |||
111 | <li><tt>-t type</tt> — Set output file type (default: auto-detect from output name).</li> | 111 | <li><tt>-t type</tt> — Set output file type (default: auto-detect from output name).</li> |
112 | <li><tt>-a arch</tt> — Override architecture for object files (default: native).</li> | 112 | <li><tt>-a arch</tt> — Override architecture for object files (default: native).</li> |
113 | <li><tt>-o os</tt> — Override OS for object files (default: native).</li> | 113 | <li><tt>-o os</tt> — Override OS for object files (default: native).</li> |
114 | <li><tt>-F name</tt> — Override filename (default: input filename).</li> | ||
114 | <li><tt>-e chunk</tt> — Use chunk string as input.</li> | 115 | <li><tt>-e chunk</tt> — Use chunk string as input.</li> |
115 | <li><tt>-</tt> (a single minus sign) — Use stdin as input and/or stdout as output.</li> | 116 | <li><tt>-</tt> (a single minus sign) — Use stdin as input and/or stdout as output.</li> |
116 | </ul> | 117 | </ul> |