# HG changeset patch
# User wenzelm
# Date 1136231417 -3600
# Node ID 35b9ed76b59ad2654ac88bd6467b710eec2977f5
# Parent  88fe84d4d151b19d8ff70a7d07b777a95dc27667
ISABELLE_USER for remote cvs access;

diff -r 88fe84d4d151 -r 35b9ed76b59a Admin/makedist
--- a/Admin/makedist	Mon Jan 02 20:42:12 2006 +0100
+++ b/Admin/makedist	Mon Jan 02 20:50:17 2006 +0100
@@ -11,7 +11,7 @@
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 export CVSROOT=/usr/proj/isabelle-repository/archive
-[ ! -d "$CVSROOT" ] && CVSROOT="sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
+[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
 
 umask 022