Skip to content
  • Sebastian Graf's avatar
    Make `git clean -nxd` silent after `make distclean` · cc8fc601
    Sebastian Graf authored and Sebastian Graf's avatar Sebastian Graf committed
    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