build
changeset 4581 52edf5ac3afa
parent 4457 6e6d99e06d0c
child 5386 4325d853494a
equal deleted inserted replaced
4580:ae3caeb19589 4581:52edf5ac3afa
   148 
   148 
   149 export THIS_IS_ISABELLE_BUILD=true
   149 export THIS_IS_ISABELLE_BUILD=true
   150 
   150 
   151 for L in $MAKE_LOGICS
   151 for L in $MAKE_LOGICS
   152 do
   152 do
   153   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
   153   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
   154 done
   154 done
   155 
   155 
   156 echo -n "Finished at "; date
   156 echo -n "Finished at "; date
   157 
   157 
   158 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)
   158 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)