On 12 Jul 2026, at 16:20, Dag-Erling Smørgrav <[email protected]> wrote: > > Dimitry Andric <[email protected]> writes: >> Add a few missed files to ObsoleteFiles.inc >> >> There were still some left-over files under usr/tests/gnu/usr.bin/diff, >> causing the directory to not be fully removed. Add these to OLD_FILES. >> >> Fixes: 134a4c78d070 > > This should be MFCed to 15, and the files should be added to the > MK_GNU_DIFF section of tools/build/mk/OptionalObsoleteFiles.inc in 14.
That turned out not to be necessary: gnu/usr.bin/Makefile on 14 only has diff3 left. -Dimitry
