--- a/build Fri Apr 04 19:07:54 1997 +0200
+++ b/build Fri Apr 04 19:08:35 1997 +0200
@@ -124,8 +124,8 @@
read
else
echo
- echo -n "Isabelle build started at "; date
- echo "logics:" $LOGICS
+ echo "Isabelle build:" $LOGICS
+ echo
echo "ML_SYSTEM=$ML_SYSTEM"
echo "ML_HOME=$ML_HOME"
echo "ML_OPTIONS=$ML_OPTIONS"
@@ -135,6 +135,10 @@
# build it
+echo
+echo -n "Started at "; date
+echo
+
export THIS_IS_ISABELLE_BUILD=true
for L in $LOGICS
@@ -142,7 +146,6 @@
( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
done
-if [ -n "$BATCH" ]; then
- echo
- echo -n "Isabelle build finished at "; date
-fi
+echo
+echo -n "Finished at "; date
+echo