OptionalObsoleteFiles: remove diff from MK_GNU_DIFF=no block
diff (and man page) are not from GNU, as of r317209, and should not be deleted if WITHOUT_GNU_DIFF is set. (WITHOUT_GNU_DIFF still controls whether diff3 is built.) Sponsored by: The FreeBSD Foundation
This commit is contained in:
parent
49c3eee83d
commit
ffb95ff56c
@ -2480,9 +2480,7 @@ OLD_FILES+=usr/share/man/man8/gpioctl.8.gz
|
||||
.endif
|
||||
|
||||
.if ${MK_GNU_DIFF} == no
|
||||
OLD_FILES+=usr/bin/diff
|
||||
OLD_FILES+=usr/bin/diff3
|
||||
OLD_FILES+=usr/share/man/man1/diff.1.gz
|
||||
OLD_FILES+=usr/share/man/man1/diff3.1.gz
|
||||
OLD_FILES+=usr/share/man/man7/diff.7.gz
|
||||
.endif
|
||||
|
Loading…
Reference in New Issue
Block a user