build
changeset 7782 d4a6464ed61e
parent 7311 1ef2c659023d
child 7889 56e91ac0f074
equal deleted inserted replaced
7781:7a8e91b8c100 7782:d4a6464ed61e
   158 SECONDS=0
   158 SECONDS=0
   159 DATE=$(date)
   159 DATE=$(date)
   160 HOST=$(hostname)
   160 HOST=$(hostname)
   161 echo "Started at $DATE ($HOST)"
   161 echo "Started at $DATE ($HOST)"
   162 
   162 
       
   163 unset ISABELLE_SETTINGS_PRESENT
   163 export THIS_IS_ISABELLE_BUILD=true
   164 export THIS_IS_ISABELLE_BUILD=true
   164 
   165 
   165 for L in $MAKE_LOGICS
   166 for L in $MAKE_LOGICS
   166 do
   167 do
   167   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
   168   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )