diff options
| author | ngie <ngie@FreeBSD.org> | 2017-07-06 05:51:23 +0000 |
|---|---|---|
| committer | ngie <ngie@FreeBSD.org> | 2017-07-06 05:51:23 +0000 |
| commit | bac458eb7ad45d91faf0042cd7a22d773b7aba71 (patch) | |
| tree | 7cfb9a44d14391aaa2291f70d1d6f95f1fa8e73e /tools | |
| parent | 16fcd70c82132c6db8e40b1bdacceea4c070caa3 (diff) | |
| download | FreeBSD-src-bac458eb7ad45d91faf0042cd7a22d773b7aba71.zip FreeBSD-src-bac458eb7ad45d91faf0042cd7a22d773b7aba71.tar.gz | |
MFC r317179:
Clean up WITH*_PROFILE
- Clarify that profiled libraries are usable with gprof(8).
- Add WITH_PROFILE to complement WITHOUT_PROFILE and placate makeman.
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 12fc060..ffb4635 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 0000000..b8880d9 --- /dev/null +++ b/tools/build/options/WITH_PROFILE @@ -0,0 +1,3 @@ +.\" $FreeBSD$ +Set to build profiled libraries for use with +.Xr gprof 8 . |
