diff options
author | brooks <brooks@FreeBSD.org> | 2014-03-01 04:25:52 +0000 |
---|---|---|
committer | brooks <brooks@FreeBSD.org> | 2014-03-01 04:25:52 +0000 |
commit | ac9b0c8c582fde71483b514e5fdfa5cdf703072d (patch) | |
tree | 28fd4c2eb3edc7f8b7229387f33895e229963fce /tools/build/options | |
parent | 33b9ca9ab1e84f2fbd3154eb278624e7f535e144 (diff) | |
download | FreeBSD-src-ac9b0c8c582fde71483b514e5fdfa5cdf703072d.zip FreeBSD-src-ac9b0c8c582fde71483b514e5fdfa5cdf703072d.tar.gz |
MFC r261299:
Merge from CheriBSD:
commit 2d581e8caf79d7a0f5a24590eccd06da90cccb74
Author: Brooks Davis <brooks@one-eyed-alien.net>
Date: Mon Jan 27 22:57:51 2014 +0000
Add WITHOUT_FMTREE to disable building fmtree.
Sponsored by: DARPA, AFRL
Diffstat (limited to 'tools/build/options')
-rw-r--r-- | tools/build/options/WITHOUT_FMTREE | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/build/options/WITHOUT_FMTREE b/tools/build/options/WITHOUT_FMTREE new file mode 100644 index 0000000..f8225c1 --- /dev/null +++ b/tools/build/options/WITHOUT_FMTREE @@ -0,0 +1,3 @@ +.\" $FreeBSD$ +Set to not build and install +.Pa /usr/sbin/fmtree . |