diff options
author | fjoe <fjoe@FreeBSD.org> | 2011-12-02 09:09:54 +0000 |
---|---|---|
committer | fjoe <fjoe@FreeBSD.org> | 2011-12-02 09:09:54 +0000 |
commit | f8cf30568102c9c0f13da1b96663247c0637fe32 (patch) | |
tree | 11c292fc8b432e1ac062d10e8931d29c9947576a /tools | |
parent | 053334be5e2819be57fd050c33f2670b3ee86e19 (diff) | |
download | FreeBSD-src-f8cf30568102c9c0f13da1b96663247c0637fe32.zip FreeBSD-src-f8cf30568102c9c0f13da1b96663247c0637fe32.tar.gz |
Revert to conservative defaults. WITH_PROFILE is a default now.
NO_PROFILE overrides in Makefile.inc1 and bsd.own.m are left intact
so that the reversal to the WITHOUT_PROFILE will be easier in future.
Diffstat (limited to 'tools')
-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 new file mode 100644 index 0000000..12fc060 --- /dev/null +++ b/tools/build/options/WITHOUT_PROFILE @@ -0,0 +1,2 @@ +.\" $FreeBSD$ +Set to avoid compiling profiled libraries. diff --git a/tools/build/options/WITH_PROFILE b/tools/build/options/WITH_PROFILE deleted file mode 100644 index 41a5922..0000000 --- a/tools/build/options/WITH_PROFILE +++ /dev/null @@ -1,2 +0,0 @@ -.\" $FreeBSD$ -Set to build profiled libraries. |