improved messages;
authorwenzelm
Fri Apr 04 19:08:35 1997 +0200 (1997-04-04)
changeset 291401d24f98528f
parent 2913 ce271fa4d8e2
child 2915 4d2d409fe2ea
improved messages;
build
     1.1 --- a/build	Fri Apr 04 19:07:54 1997 +0200
     1.2 +++ b/build	Fri Apr 04 19:08:35 1997 +0200
     1.3 @@ -124,8 +124,8 @@
     1.4    read
     1.5  else
     1.6    echo
     1.7 -  echo -n "Isabelle build started at "; date
     1.8 -  echo "logics:" $LOGICS
     1.9 +  echo "Isabelle build:" $LOGICS
    1.10 +  echo
    1.11    echo "ML_SYSTEM=$ML_SYSTEM"
    1.12    echo "ML_HOME=$ML_HOME"
    1.13    echo "ML_OPTIONS=$ML_OPTIONS"
    1.14 @@ -135,6 +135,10 @@
    1.15  
    1.16  # build it
    1.17  
    1.18 +echo
    1.19 +echo -n "Started at "; date
    1.20 +echo
    1.21 +
    1.22  export THIS_IS_ISABELLE_BUILD=true
    1.23  
    1.24  for L in $LOGICS
    1.25 @@ -142,7 +146,6 @@
    1.26    ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
    1.27  done
    1.28  
    1.29 -if [ -n "$BATCH" ]; then
    1.30 -  echo
    1.31 -  echo -n "Isabelle build finished at "; date
    1.32 -fi
    1.33 +echo
    1.34 +echo -n "Finished at "; date
    1.35 +echo