Makefile: in the check target always remove "./result*".
... otherwise you need to remove them manually when re-running 'make check'.
This commit is contained in:
parent
8d594727cc
commit
5243eab739