From bac458eb7ad45d91faf0042cd7a22d773b7aba71 Mon Sep 17 00:00:00 2001
From: ngie <ngie@FreeBSD.org>
Date: Thu, 6 Jul 2017 05:51:23 +0000
Subject: 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.
---
 tools/build/options/WITHOUT_PROFILE | 3 ++-
 tools/build/options/WITH_PROFILE    | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 tools/build/options/WITH_PROFILE

(limited to 'tools')

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 .
-- 
cgit v1.1