diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build/mk/OptionalObsoleteFiles.inc | 5 | ||||
| -rw-r--r-- | tools/build/options/WITHOUT_PKGSERVE | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc index fd25359c7c0b..3a45c7c9a01c 100644 --- a/tools/build/mk/OptionalObsoleteFiles.inc +++ b/tools/build/mk/OptionalObsoleteFiles.inc @@ -6911,6 +6911,11 @@ OLD_FILES+=usr/share/snmp/defs/pf_tree.def OLD_FILES+=usr/share/snmp/mibs/BEGEMOT-PF-MIB.txt .endif +.if ${MK_PKGSERVE} == no +OLD_FILES+=usr/libexec/pkg-serve +OLD_FILES+=usr/share/man/man8/pkg-serve.8.gz +.endif + .if ${MK_PKGBOOTSTRAP} == no OLD_FILES+=usr/sbin/pkg OLD_FILES+=usr/share/man/man7/pkg.7.gz diff --git a/tools/build/options/WITHOUT_PKGSERVE b/tools/build/options/WITHOUT_PKGSERVE new file mode 100644 index 000000000000..ecd3602fc03d --- /dev/null +++ b/tools/build/options/WITHOUT_PKGSERVE @@ -0,0 +1,2 @@ +Do not build or install +.Xr pkg-serve 8 . |