diff options
author | Ed Maste <emaste@FreeBSD.org> | 2016-10-20 14:48:57 +0000 |
---|---|---|
committer | Ed Maste <emaste@FreeBSD.org> | 2016-10-20 14:48:57 +0000 |
commit | 94ff3d0344e68c82c645aea048663f0482fadaae (patch) | |
tree | 96866b433728b917d98e08c152c331d49959c37a /tools/build/options | |
parent | eedb49598bb88c1e3f032a4b857211e48646fc10 (diff) | |
download | src-94ff3d0344e68c82c645aea048663f0482fadaae.tar.gz src-94ff3d0344e68c82c645aea048663f0482fadaae.zip |
Add knobs to make GNU diff and GNU grep optional
This is added to facilitate experiments building FreeBSD without
copyleft software.
If WITHOUT_GNU_DIFF is set no /usr/bin/diff or /usr/bin/diff3 will
be built.
If WITHOUT_GNU_GREP is set then BSD grep will be installed as
/usr/bin/bsdgrep or /usr/bin/grep, depending on the WITH_BSD_GREP
knob.
Reviewed by: brooks (earlier)
Sponsored by: The FreeBSD Foundation
Differential Revision: Differential Revision: https://reviews.freebsd.org/D8288
Notes
Notes:
svn path=/head/; revision=307674
Diffstat (limited to 'tools/build/options')
-rw-r--r-- | tools/build/options/WITHOUT_GNU_DIFF | 5 | ||||
-rw-r--r-- | tools/build/options/WITHOUT_GNU_GREP | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/tools/build/options/WITHOUT_GNU_DIFF b/tools/build/options/WITHOUT_GNU_DIFF new file mode 100644 index 000000000000..de8667fe4d73 --- /dev/null +++ b/tools/build/options/WITHOUT_GNU_DIFF @@ -0,0 +1,5 @@ +.\" $FreeBSD$ +Set to not build GNU +.Xr diff 1 +and +.Xr diff3 1 . diff --git a/tools/build/options/WITHOUT_GNU_GREP b/tools/build/options/WITHOUT_GNU_GREP new file mode 100644 index 000000000000..1bb7d4a53eba --- /dev/null +++ b/tools/build/options/WITHOUT_GNU_GREP @@ -0,0 +1,3 @@ +.\" $FreeBSD$ +Set to not build GNU +.Xr grep 1 . |