[m-rev.] diff: update libc version numbers

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main

tools/test_mercury:
	Update the libc version numbers on the release files.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.224
diff -u -u -r1.224 test_mercury
--- test_mercury	5 Dec 2002 23:33:39 -0000	1.224
+++ test_mercury	17 Dec 2002 04:48:24 -0000
@@ -1013,16 +1013,16 @@
 		fullname=i686-pc-linux-libc2.1-gnu-O4
 		;;
 	venus)	
-		fullname=i686-pc-linux-libc2.1-gnu-O5
+		fullname=i686-pc-linux-libc2.2-gnu-O5
 		;;
 	earth)	
-		fullname=i686-pc-linux-libc2.1-gnu-O5-intermod
+		fullname=i686-pc-linux-libc2.3-gnu-O5-intermod
 		;;
 	mars)	
-		fullname=i686-pc-linux-libc2.1-gnu-O5
+		fullname=i686-pc-linux-libc2.2-gnu-O5
 		;;
 	ceres)	
-		fullname=i686-pc-linux-libc2.1-gnu-O5-hlc
+		fullname=i686-pc-linux-libc2.2-gnu-O5-hlc
 		;;
 	roy)	
 		fullname=i686-pc-linux-libc2.1-gnu-O4-hlc
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------