build
changeset 4581 52edf5ac3afa
parent 4457 6e6d99e06d0c
child 5386 4325d853494a
     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