diff options
| author | Enji Cooper <ngie@FreeBSD.org> | 2017-04-20 03:36:09 +0000 |
|---|---|---|
| committer | Enji Cooper <ngie@FreeBSD.org> | 2017-04-20 03:36:09 +0000 |
| commit | 863d0264b148daaee7151043188344ff27754adc (patch) | |
| tree | 665d28ebb3284fe7b05b50d695a381f29e3de3bf /tools | |
| parent | bcdf1a2d4e99c14d2bc679d5f93fb98c27a6f171 (diff) | |
Notes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build/options/WITHOUT_PROFILE | 3 | ||||
| -rw-r--r-- | tools/build/options/WITH_PROFILE | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/tools/build/options/WITHOUT_PROFILE b/tools/build/options/WITHOUT_PROFILE index 12fc060aacf4..ffb4635f3062 100644 --- a/tools/build/options/WITHOUT_PROFILE +++ b/tools/build/options/WITHOUT_PROFILE @@ -1,2 +1,3 @@ .\" $FreeBSD$ -Set to avoid compiling profiled libraries. +Set to not build profiled libraries for use with +.Xr gprof 8 . diff --git a/tools/build/options/WITH_PROFILE b/tools/build/options/WITH_PROFILE new file mode 100644 index 000000000000..b8880d9459cc --- /dev/null +++ b/tools/build/options/WITH_PROFILE @@ -0,0 +1,3 @@ +.\" $FreeBSD$ +Set to build profiled libraries for use with +.Xr gprof 8 . |