checkout_file_has_diffs
else if (checkout_file_has_diffs(file, frev, dst) != D_SAME)
static int checkout_file_has_diffs(RCSFILE *, RCSNUM *, const char *);