diff options
| author | ngie <ngie@FreeBSD.org> | 2017-07-06 05:53:23 +0000 |
|---|---|---|
| committer | ngie <ngie@FreeBSD.org> | 2017-07-06 05:53:23 +0000 |
| commit | 7ac9e94f5f7e764bc9f84a8d03f30a7bf1f65447 (patch) | |
| tree | bf29e5903aca825b6810bd7d803046d93ef5d406 /share | |
| parent | fbe818e4cd294c755b9187abd1e4087e72e1f9d4 (diff) | |
| download | FreeBSD-src-7ac9e94f5f7e764bc9f84a8d03f30a7bf1f65447.zip FreeBSD-src-7ac9e94f5f7e764bc9f84a8d03f30a7bf1f65447.tar.gz | |
Regenerate src.conf(5)
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/man5/src.conf.5 | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/share/man/man5/src.conf.5 b/share/man/man5/src.conf.5 index fb2e08e..e368a32 100644 --- a/share/man/man5/src.conf.5 +++ b/share/man/man5/src.conf.5 @@ -1,7 +1,7 @@ .\" DO NOT EDIT-- this file is automatically generated. .\" from FreeBSD: stable/10/tools/build/options/makeman 318614 2017-05-22 06:08:20Z ngie .\" $FreeBSD$ -.Dd June 1, 2017 +.Dd July 5, 2017 .Dt SRC.CONF 5 .Os .Sh NAME @@ -966,8 +966,9 @@ Set to not build .Xr ppp 8 and related programs. .It Va WITHOUT_PROFILE -.\" from FreeBSD: stable/10/tools/build/options/WITHOUT_PROFILE 228196 2011-12-02 09:09:54Z fjoe -Set to avoid compiling profiled libraries. +.\" from FreeBSD: stable/10/tools/build/options/WITHOUT_PROFILE 320717 2017-07-06 05:51:20Z ngie +Set to not build profiled libraries for use with +.Xr gprof 8 . .It Va WITHOUT_QUOTAS .\" from FreeBSD: stable/10/tools/build/options/WITHOUT_QUOTAS 183242 2008-09-21 22:02:26Z sam Set to not build |
