On Wed, 2015-09-23 at 09:40 +0000, Wang Long wrote: > Use make's built-in rules to when delete a file > or delete files. It's not a built-in rule, it's a variable. Personally I think using rm directly is clearer, but I guess this is fine. Do you actually want to override $RM ? cheers -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html