diff options
Diffstat (limited to 'tools/build/options/WITH_PROFILE')
| -rw-r--r-- | tools/build/options/WITH_PROFILE | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/build/options/WITH_PROFILE b/tools/build/options/WITH_PROFILE index 3445c82f946f..fa7a88e87d6a 100644 --- a/tools/build/options/WITH_PROFILE +++ b/tools/build/options/WITH_PROFILE @@ -1,4 +1,3 @@ -.\" $FreeBSD$ Build profiled libraries for use with .Xr gprof 8 . This option is deprecated and may not be present in a future version of |