svn commit: r320717 - stable/10/tools/build/options

[Ngie Cooper]

Author: ngie
Date: Thu Jul  6 05:51:20 2017
New Revision: 320717
URL: https://svnweb.freebsd.org/changeset/base/320717

Log:
  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.

Added:
  stable/10/tools/build/options/WITH_PROFILE
     - copied unchanged from r317179, head/tools/build/options/WITH_PROFILE
Modified:
  stable/10/tools/build/options/WITHOUT_PROFILE
Directory Properties:
  stable/10/   (props changed)

Modified: stable/10/tools/build/options/WITHOUT_PROFILE
==============================================================================
--- stable/10/tools/build/options/WITHOUT_PROFILE	Thu Jul  6 05:43:04 2017	(r320716)
+++ stable/10/tools/build/options/WITHOUT_PROFILE	Thu Jul  6 05:51:20 2017	(r320717)
@@ -1,2 +1,3 @@
 .\" $FreeBSD$
-Set to avoid compiling profiled libraries.
+Set to not build profiled libraries for use with
+.Xr gprof 8 .

Copied: stable/10/tools/build/options/WITH_PROFILE (from r317179, head/tools/build/options/WITH_PROFILE)
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ stable/10/tools/build/options/WITH_PROFILE	Thu Jul  6 05:51:20 2017	(r320717, copy of r317179, head/tools/build/options/WITH_PROFILE)
@@ -0,0 +1,3 @@
+.\" $FreeBSD$
+Set to build profiled libraries for use with
+.Xr gprof 8 .