--- a/Admin/makebin Sat Oct 04 16:19:49 2008 +0200
+++ b/Admin/makebin Sat Oct 04 17:40:56 2008 +0200
@@ -101,12 +101,12 @@
etc/settings
fi
-ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
+ISABELLE_HOME_USER=$(./bin/isabelle getenv -b ISABELLE_HOME_USER)
[ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
echo "### WARNING! Personal Isabelle settings present. " >&2
-COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER)
-PLATFORM=$(./bin/isatool getenv -b ML_PLATFORM)
+COMPILER=$(./bin/isabelle getenv -b ML_IDENTIFIER)
+PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM)
if [ -n "$DRY_RUN" ]; then
mkdir -p "heaps/$COMPILER/log"