Normally, Jenkins runs cvs check-out and update with the -D date option to make sure it gets a coherent snapshot of the repository and better build reproducibility, but this interferes if we're on a tag. Telling Jenkins that the name is a tag would fix this problem.