changeset 28504 | 7ad7d7d6df47 |
parent 28500 | 4b79e5d3d0aa |
child 28539 | bdb308737bfd |
--- a/Admin/isatest/isatest-annomaly Sat Oct 04 16:19:49 2008 +0200 +++ b/Admin/isatest/isatest-annomaly Sat Oct 04 17:40:56 2008 +0200 @@ -42,7 +42,7 @@ ## main ISABELLE_HOME="$DISTPREFIX/Isabelle" -ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool" +ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" [ -d $ISABELLE_HOME ] || fail "$ISABELLE_HOME is not a directory."