diff options
author | Andi McClure <andi.mcclure@xamarin.com> | 2016-03-31 18:02:21 +0300 |
---|---|---|
committer | Andi McClure <andi.mcclure@xamarin.com> | 2016-03-31 18:02:21 +0300 |
commit | a29d7015b9c586c1ebdda2008a333e183c28bf0d (patch) | |
tree | a0ef1f98f0b0ffb01ae4d978da19ba6e9dfc866c /man/mono.1 | |
parent | 9a0806c1b6c5231f963ff075ea13080f41736ebc (diff) |
Assist on profiler module loading
- Add a MONO_PROFILER_LIB_DIR from which custom profilers are
dynamically loaded, in case it is not the normal library path
- Modify mono/profiler make check to use MONO_PROFILER_LIB_DIR
(this fixes a bug where it would sometimes load the wrong profiler)
- Add information about profiler loading to mono_trace
Diffstat (limited to 'man/mono.1')
-rw-r--r-- | man/mono.1 | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/man/mono.1 b/man/mono.1 index f29f4d1601e..99d49e6f929 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -786,7 +786,8 @@ to Mono, like this: .PP In the above sample Mono will load the user defined profiler from the shared library `mono-profiler-custom.so'. This profiler module must -be on your dynamic linker library path. +be on your dynamic linker library path, or in the MONO_PROFILER_LIB_DIR +path (see "RUNTIME OPTIONS" below). .PP A list of other third party profilers is available from Mono's web site (www.mono-project.com/docs/advanced/performance-tips/) @@ -1513,6 +1514,12 @@ For a complete description of recommended practices for application deployment, see http://www.mono-project.com/docs/getting-started/application-deployment/ .TP +\fBMONO_PROFILER_LIB_DIR\fR +Provides a search path to the runtime where to look for custom profilers. See the +section "CUSTOM PROFILERS" above for more information. Custom profilers will be +searched for in the MONO_PROFILER_LIB_DIR path before the standard library paths. + +.TP \fBMONO_RTC\fR Experimental RTC support in the statistical profiler: if the user has the permission, more accurate statistics are gathered. The MONO_RTC |