aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2011-10-13 11:00:26 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2011-10-13 11:00:26 +0000
commit911f7d4a22a1a91ee04d66a0efe74a0bd9dd1830 (patch)
tree97ab378d907f51314a4366ae00767804d314e3fd /Makefile.devel
parent8801f39c72c5b88c79ca52655d4591cee7579c69 (diff)
Update for 4.2 cycle
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel
index 9ded1d3a..0727bf73 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -91,8 +91,8 @@ DEVELOPERS=\
# The prereltag.txt is kept as a record in the distrib area
# of the current pre-release version (currently not used explicitly
# anywhere for web pages/whatever).
-PRERELEASE_PREFIX=4\.1pre
-PRERELEASE_TAG=4.1pre$(shell date "+%y%m%d")
+PRERELEASE_PREFIX=4\.2pre
+PRERELEASE_TAG=4.2pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
# Path to web pages in repository, used for automatically