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