Do not try to remove diff.7 optionaly has it is always removed

since GNU diff(1) has been replaced with BSD diff(1)
This commit is contained in:
Baptiste Daroussin 2017-10-11 14:41:11 +00:00
parent 00d78afd17
commit 578ec783ff

View File

@ -2482,7 +2482,6 @@ OLD_FILES+=usr/share/man/man8/gpioctl.8.gz
.if ${MK_GNU_DIFF} == no
OLD_FILES+=usr/bin/diff3
OLD_FILES+=usr/share/man/man1/diff3.1.gz
OLD_FILES+=usr/share/man/man7/diff.7.gz
.endif
.if ${MK_GNU_GREP} == no