If set, Jenkins will run CVS with -r to build a particular tag.

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.