changeset 28500 | 4b79e5d3d0aa |
parent 18321 | 3414557c2dda |
child 28504 | 7ad7d7d6df47 |
1.1 --- a/lib/Tools/makeall Sat Oct 04 16:05:08 2008 +0200 1.2 +++ b/lib/Tools/makeall Sat Oct 04 16:05:09 2008 +0200 1.3 @@ -41,7 +41,7 @@ 1.4 1.5 for L in $ALL_LOGICS 1.6 do 1.7 - ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$@" ) || FAIL="$FAIL$L " 1.8 + ( cd "$ISABELLE_HOME/src/$L"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$L " 1.9 done 1.10 1.11 echo -n "Finished at "; date