[m-rev.] diff: build the 0.13 release

[Julien Fischer]

The release has now been tagged as version-0_13_0.  (If there
are any more problems (a) they can be fixed in 0.13.1 and (b) I don't
want to hear about them until after the G12 release ;-) )

Estimated hours taken: 0
Branches: main

tools/test_mercury:
 	Build the 0.13 release as opposed to the 0.13 beta release.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.299
diff -u -r1.299 test_mercury
--- test_mercury	21 Aug 2006 02:16:52 -0000	1.299
+++ test_mercury	14 Sep 2006 03:57:01 -0000
@@ -177,19 +177,19 @@
  		RELEASE_VERSION_PATTERN=g12-0.3.1*
  		;;
  	0.13)
-		CHECKOUT_OPTS=-rversion-0_13-branch
-		BASE_TAG_NAME=version-0_13-branch
-		FTP_DIR_NAME=0.13.0-beta
-		RELEASE_VERSION=0.13.0-beta-$DATE
-		RELEASE_VERSION_PATTERN=0.13.0-beta-*
-
-		# This is for release 0.13.0 itself
-		# (as opposed to beta releases).
-		#CHECKOUT_OPTS=-rversion-0_13_0
-		#BASE_TAG_NAME=version-0_13_0
-		#FTP_DIR_NAME=0.13.0
-		#RELEASE_VERSION=0.13.0
-		#RELEASE_VERSION_PATTERN=0.13.0*
+		# This is for 0.13.1-beta
+		#
+		#CHECKOUT_OPTS=-rversion-0_13-branch
+		#BASE_TAG_NAME=version-0_13-branch
+		#FTP_DIR_NAME=0.13.1-beta
+		#RELEASE_VERSION=0.13.1-beta-$DATE
+		#RELEASE_VERSION_PATTERN=0.13.1-beta-*
+
+		CHECKOUT_OPTS=-rversion-0_13_0
+		BASE_TAG_NAME=version-0_13_0
+		FTP_DIR_NAME=0.13.0
+		RELEASE_VERSION=0.13.0
+		RELEASE_VERSION_PATTERN=0.13.0*
  		;;
  	0.12)
  		#CHECKOUT_OPTS=-rversion-0_12-branch

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------