diff options
| author | Max Khon <fjoe@FreeBSD.org> | 2011-11-29 19:46:17 +0000 |
|---|---|---|
| committer | Max Khon <fjoe@FreeBSD.org> | 2011-11-29 19:46:17 +0000 |
| commit | d0ed1ea4b71e11e70926a93fc1daa3c1f8a52edf (patch) | |
| tree | a1f837c5e779404c3522d790ee366f232bb56ea4 /tools/build | |
| parent | 9ffe5c73c1f2c3f7bc37785dd80db7d48fc62b3d (diff) | |
| download | src-d0ed1ea4b71e11e70926a93fc1daa3c1f8a52edf.tar.gz src-d0ed1ea4b71e11e70926a93fc1daa3c1f8a52edf.zip | |
Turn off profiled libs build by default.
Can be enabled back using WITH_PROFILE=yes in /etc/src.conf
Notes
Notes:
svn path=/head/; revision=228143
Diffstat (limited to 'tools/build')
| -rw-r--r-- | tools/build/options/WITHOUT_PROFILE | 2 | ||||
| -rw-r--r-- | tools/build/options/WITH_PROFILE | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/build/options/WITHOUT_PROFILE b/tools/build/options/WITHOUT_PROFILE deleted file mode 100644 index 12fc060aacf4..000000000000 --- a/tools/build/options/WITHOUT_PROFILE +++ /dev/null @@ -1,2 +0,0 @@ -.\" $FreeBSD$ -Set to avoid compiling profiled libraries. diff --git a/tools/build/options/WITH_PROFILE b/tools/build/options/WITH_PROFILE new file mode 100644 index 000000000000..41a5922002ee --- /dev/null +++ b/tools/build/options/WITH_PROFILE @@ -0,0 +1,2 @@ +.\" $FreeBSD$ +Set to build profiled libraries. |