Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
don't attempt to make 'make clean' work on old checkouts
It's just not worth the extra complication in the Makefile, and the code for it was actually broken. Also, outdent comment so it doesn't get splattered onto the console.
- Loading branch information