diff options
author | Zoltan Varga <vargaz@gmail.com> | 2016-12-22 03:30:27 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-22 03:30:27 +0300 |
commit | 98d7ad045e6661e4c2e428fe4acc4fc733d44fdc (patch) | |
tree | 133447ce1023284f8bcbb4fe02f17bc3f31050db /man | |
parent | 8027e0bb3954cb57870fd18071330e28030caee2 (diff) |
[aot] Cleanup the AOT loading code a bit. Add a --aot-path= command line option to specify additional directories to search for AOT images. (#4191)
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index 08a93ac9182..bea38842eb3 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -257,6 +257,9 @@ The default files are /etc/mono/config and ~/.mono/config or the file specified in the MONO_CONFIG environment variable, if set. See the mono-config(5) man page for details on the format of this file. .TP +\fB--aot-path=PATH\fR +List of additional directories to search for AOT images. +.TP \fB--debugger-agent=[options]\fR This instructs the Mono runtime to start a debugging agent inside the Mono runtime and connect it to a |