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