diff options
| author | ngie <ngie@FreeBSD.org> | 2017-07-06 05:51:20 +0000 |
|---|---|---|
| committer | ngie <ngie@FreeBSD.org> | 2017-07-06 05:51:20 +0000 |
| commit | fbe818e4cd294c755b9187abd1e4087e72e1f9d4 (patch) | |
| tree | a3faf2f11f30996b990f59ec239504eeb7d1b543 | |
| parent | f20c5791db88befc769910309f698ff883385b3c (diff) | |
| download | FreeBSD-src-fbe818e4cd294c755b9187abd1e4087e72e1f9d4.zip FreeBSD-src-fbe818e4cd294c755b9187abd1e4087e72e1f9d4.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.
| -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 . |
