Re: tools bugs: make clean deletes files in the git tree

From: Joe Lawrence
Date: Tue Mar 26 2019 - 11:11:57 EST


On 3/26/19 4:45 AM, Adrian Hunter wrote:
Hi

Doing:

make -C tools clean

Results in:

git diff --stat
tools/pci/pcitest.sh | 72 ----------------
tools/testing/selftests/livepatch/test-callbacks.sh | 587 ----------------------------------------------------------------------------------------------------------------------------
tools/testing/selftests/livepatch/test-livepatch.sh | 168 ------------------------------------
tools/testing/selftests/livepatch/test-shadow-vars.sh | 60 -------------
4 files changed, 887 deletions(-)

i.e. 'make clean' seems to be deleting files that are in the git tree.

Regards
Adrian


Hi Adrian -- thanks for the report. I will fixup the livepatch selftests Makefile and post a patch shortly.

-- Joe