The source project of this merge request has been removed.
Makefile: test if file exists before removing it
Avoid the make
invocation failure when repo has just been cloned (or cleaned).
You could use rm -f
instead but I think it is better to test
.