-
Simon Marlow authored
distclean: clean config.mk only *after* doing the recursive cleaning. Otherwise we don't clean properly in the subdirectories or sub-ways.
6f93da74
distclean: clean config.mk only *after* doing the recursive cleaning. Otherwise we don't clean properly in the subdirectories or sub-ways.