Skip to content

Make `git clean -nxd` silent after `make distclean`

Sebastian Graf requested to merge distclean-git-clean into master

Also check that invariant in CI: After a make distclean git clean -nxd should find no files.

The hope is that this catches cases were a make clean would forget to list a .gitignored file that should either be registered as a (DIST_)CLEAN_FILES or should be unignored and committed into the repository.

Edited by Sebastian Graf

Merge request reports