Admin/build
changeset 28500 4b79e5d3d0aa
parent 27978 9fb6cfaa5da5
child 28504 7ad7d7d6df47
     1.1 --- a/Admin/build	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/Admin/build	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -17,12 +17,12 @@
     1.4  ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
     1.5  
     1.6  if [ -d "$ISABELLE_DIR/Distribution" ]; then
     1.7 -  ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool"
     1.8 +  ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isatool"
     1.9    ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib"
    1.10    ISABELLE_SRC="$ISABELLE_DIR"
    1.11    ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc"
    1.12  else
    1.13 -  ISATOOL="$ISABELLE_DIR/bin/isatool"
    1.14 +  ISABELLE_TOOL="$ISABELLE_DIR/bin/isatool"
    1.15    ISABELLE_LIB="$ISABELLE_DIR/lib"
    1.16    ISABELLE_SRC="$ISABELLE_DIR/src"
    1.17    ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src"
    1.18 @@ -112,7 +112,7 @@
    1.19    type -p scalac >/dev/null || fail "Scala compiler unavailable"
    1.20  
    1.21    pushd "$ISABELLE_SRC/Pure" >/dev/null
    1.22 -  "$ISATOOL" make jar || fail "Failed to build Pure.jar!"
    1.23 +  "$ISABELLE_TOOL" make jar || fail "Failed to build Pure.jar!"
    1.24    popd >/dev/null
    1.25  
    1.26    if [ -d "$HOME/lib/jedit/current" ]; then