# HG changeset patch
# User wenzelm
# Date 975372487 -3600
# Node ID 909c473542f9b10c3c9ad878eb2aaa270242ab8f
# Parent  042f67eea015b14a9fcdd6b9517511e1e5226c7d
fixed hostname;

diff -r 042f67eea015 -r 909c473542f9 Admin/makedist
--- a/Admin/makedist	Tue Nov 28 01:23:45 2000 +0100
+++ b/Admin/makedist	Tue Nov 28 01:48:07 2000 +0100
@@ -9,7 +9,7 @@
 
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
-case ${HOST} in
+case $(hostname) in
   *broy*)
     export CVSROOT=/usr/proj/isabelle-repository/archive
     ;;