3 ms·
$(RM) is defined as "rm -f", so the extra -f is not needed. Personally, I would just write "rm -f" explicitly. I don't see any advantages of using $(RM).
by jwilk 9y ago
$(RM) is defined as "rm -f", so the extra -f is not needed.
Personally, I would just write "rm -f" explicitly. I don't see any advantages of using $(RM).