[m-rev.] trivial diff: update test_mercury for g12 0.5
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Apr 23 18:46:54 AEST 2007
Estimated hours taken: 0
Branches: main
tools/test_mercury:
Update for version 0.5 of G12.
Julien.
Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.316
diff -u -r1.316 test_mercury
--- test_mercury 24 Jan 2007 05:45:06 -0000 1.316
+++ test_mercury 23 Apr 2007 08:44:32 -0000
@@ -175,11 +175,11 @@
RELEASE_VERSION_PATTERN=rotd-*
;;
g12)
- CHECKOUT_OPTS=-rg12-0_3_1
- BASE_TAG_NAME=g12-0_3_1
+ CHECKOUT_OPTS=-rg12-0_5_0
+ BASE_TAG_NAME=g12-0_5_0
FTP_DIR_NAME=g12
- RELEASE_VERSION=g12-0.3.1
- RELEASE_VERSION_PATTERN=g12-0.3.1*
+ RELEASE_VERSION=g12-0.5.0
+ RELEASE_VERSION_PATTERN=g12-0.5.0*
;;
0.13)
# This is for 0.13.2-beta
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list