Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't fail "make clean" when some files are missing
It appears that some of the files listed in "make clean" don't actually get created when I run "make". This patch simply papers over the issue by running "rm -f" instead of "rm", which doesn't fail on missing files.
- Loading branch information