[m-rev.] trivial diff: CVS access for mercury on neptune and pluto

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tools/test_mercury:
 	Set CVSROOT on neptune and pluto.  We need to use the ssh access
 	method for these machines since we cannot currently export
 	filesystems using NFS from CS to EE.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.310
diff -u -r1.310 test_mercury
--- test_mercury	8 Jan 2007 06:58:49 -0000	1.310
+++ test_mercury	19 Jan 2007 06:06:49 -0000
@@ -40,12 +40,20 @@
  PATH="$PATH:/usr/bin"
  export PATH

-# Use NFS if we can, otherwise use anonymous cvs (pserver).
+# Use NFS if we can, for the machines over at EE use ssh and
+# otherwise use anonymous CVS (pserver).
  CVSROOT=/home/mercury/mercury1/repository
  if [ -d $CVSROOT/. ]; then
  	:
  else
-	CVSROOT=":pserver:guest at cvs.mercury.cs.mu.oz.au:$CVSROOT"
+	case "$HOST" in
+	    neptune|pluto)
+	    CVSROOT=":ext:mercury at cvs.mercury.csse.unimelb.edu.au:$CVSROOT"
+	    ;;
+	    *)
+	    CVSROOT=":pserver:guest at cvs.mercury.csse.unimelb.edu.au:$CVSROOT"
+	    ;;
+	esac
  fi
  export CVSROOT


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------