• Sebastian Graf's avatar
    Make `git clean -nxd` silent after `make distclean` · cc8fc601
    Sebastian Graf authored
    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 `.gitignore`d file that should either be registered as a
    `(DIST_)CLEAN_FILES` or should be unignored and committed into the
    repository.
    cc8fc601
Name
Last commit
Last update
..
CmdLine.hs Loading commit data...
GenUtils.lhs Loading commit data...
Main.hs Loading commit data...
Makefile Loading commit data...
Slurp.hs Loading commit data...