Diffusion nofib cc8fc601f886

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

Authored by sgraf on Jan 8 2019, 6:45 AM.

Description

Make git clean -nxd silent after make distclean

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.

Details

Committed
sgrafJan 15 2019, 6:15 AM
Parents
rNOFIBe62a49d30bd1: Update README.md
Branches
Unknown
Tags
Unknown