Admin/isatest/isatest-doc
changeset 28500 4b79e5d3d0aa
parent 28388 0789bbedfc62
child 28504 7ad7d7d6df47
     1.1 --- a/Admin/isatest/isatest-doc	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-doc	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  SHORT=at-poly
     1.5  SETTINGS=~/settings/$SHORT
     1.6  
     1.7 -ISATOOL=$ISABELLE_DEVEL/bin/isatool
     1.8 +ISABELLE_TOOL=$ISABELLE_DEVEL/bin/isatool
     1.9      
    1.10  
    1.11  MAIL=$HOME/bin/pmail
    1.12 @@ -80,7 +80,7 @@
    1.13      (
    1.14        cd $DIR
    1.15        ulimit -t $MAXTIME 
    1.16 -      nice $ISATOOL make >> $LOG 2>&1
    1.17 +      nice $ISABELLE_TOOL make >> $LOG 2>&1
    1.18      ) || FAIL="${FAIL}${DIR} "    
    1.19      echo "Finished [$DIR]" >> $LOG
    1.20      echo >> $LOG