diff options
Diffstat (limited to 'tools')
| -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 . |
