diff options
| author | Miguel de Icaza <miguel@gnome.org> | 2018-05-04 03:28:59 +0300 |
|---|---|---|
| committer | Ludovic Henry <luhenry@microsoft.com> | 2018-05-04 03:28:59 +0300 |
| commit | 52d977a316d450775568d597d60ddbda220fad6d (patch) | |
| tree | d11ee6462cc3ea01b3fe2451d4ab29f96d212277 /man | |
| parent | e4bacdc82c60b8d261b38ee8931c68a53f471ed9 (diff) | |
[mono] Add support for response files, using --response=FILE (#8560)
Diffstat (limited to 'man')
| -rw-r--r-- | man/mono.1 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index 0a7cd9af9f9..55aea5b94ce 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -588,6 +588,11 @@ Controls whether the runtime should attempt to inline (the default), or not inline methods invocations .ne .RE +\fB--response=FILE\fR +Provides a response file, this instructs the Mono command to read +other command line options from the specified file, as if the +options had been specified on the command line. Useful when you have +very long command lines. .TP \fB--runtime=VERSION\fR Mono supports different runtime versions. The version used depends on the program |