aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-03-21 16:08:03 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-03-21 16:08:03 +0000
commit258479e9b0afbd22588b0a03e108f4e76dac4c1e (patch)
treeb6ce7cafa05b30d6566bbf541aaa33d8730eb960 /Makefile.devel
parent4df00c7382cb0e18f9c8818a03b89d8666a0c823 (diff)
Revert accidental commit by crr
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel
index fb8ffec6..722585fa 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -107,7 +107,6 @@ FULLVERSION=$(VERSION)
# NB: CVS tags can't have points in them.
# Substitute points for hyphens.
CVS_VERSION=$(shell echo $(FULLVERSION) | sed 's/\./-/g')
-NOCVS=yes
# Name of tar file and RPM file.
RELEASENAME = $(NAME)-$(VERSION)