--- a/build Sat Oct 04 16:05:08 2008 +0200
+++ b/build Sat Oct 04 16:05:09 2008 +0200
@@ -175,7 +175,7 @@
for L in $MAKE_LOGICS
do
- ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
+ ( cd "$ISABELLE_HOME/src/$L"; "$ISABELLE_TOOL" make $TARGETS )
done
echo -n "Finished at "; date