make images;
authorwenzelm
Mon Jan 19 16:25:36 1998 +0100 (1998-01-19)
changeset 458152edf5ac3afa
parent 4580 ae3caeb19589
child 4582 c5cfd00e4f28
make images;
build
     1.1 --- a/build	Thu Jan 15 14:16:46 1998 +0100
     1.2 +++ b/build	Mon Jan 19 16:25:36 1998 +0100
     1.3 @@ -150,7 +150,7 @@
     1.4  
     1.5  for L in $MAKE_LOGICS
     1.6  do
     1.7 -  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
     1.8 +  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
     1.9  done
    1.10  
    1.11  echo -n "Finished at "; date