Don't interrupt the make if a generated build file didn't really change.