ISABELLE_USER for remote cvs access;
authorwenzelm
Mon Jan 02 20:50:17 2006 +0100 (2006-01-02)
changeset 1853935b9ed76b59a
parent 18538 88fe84d4d151
child 18540 7b6f57406b1b
ISABELLE_USER for remote cvs access;
Admin/makedist
     1.1 --- a/Admin/makedist	Mon Jan 02 20:42:12 2006 +0100
     1.2 +++ b/Admin/makedist	Mon Jan 02 20:50:17 2006 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
     1.5  
     1.6  export CVSROOT=/usr/proj/isabelle-repository/archive
     1.7 -[ ! -d "$CVSROOT" ] && CVSROOT="sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
     1.8 +[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
     1.9  
    1.10  umask 022
    1.11