diff -r 537f7281d42c -r 4e0bbfb113d5 build
--- a/build	Wed May 14 17:55:10 1997 +0200
+++ b/build	Wed May 14 18:37:03 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/wiss/wenzelm/bin/bash
 #
 # $Id$
 #
@@ -26,7 +26,7 @@
   echo "    -b           batch mode"
   echo "    -t           run tests"
   echo
-  echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
+  echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
   echo "  in the distribution."
   echo
   exit 1
@@ -104,7 +104,7 @@
   echo
 fi
 
-[ -z "$LOGICS" ] && LOGICS=$DEFAULT_LOGIC
+[ -z "$LOGICS" ] && LOGICS=$ISABELLE_LOGIC
 
 if [ -n "$ALL" ]; then
   LOGICS=""