The current way of running rm in the makefile is weird. If the intent is to avoid errors when the files to be removed do not exist, why not use the -f flag? That way, other errors (e.g., permissions) will not be ignored.
Edit: by the way, when investigating #24, it turns out that make clean does not clean the makestamps, which I also fixed.
The current way of running
rm
in the makefile is weird. If the intent is to avoid errors when the files to be removed do not exist, why not use the-f
flag? That way, other errors (e.g., permissions) will not be ignored.Edit: by the way, when investigating #24, it turns out that make clean does not clean the makestamps, which I also fixed.