--- 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=""