1.1 --- a/build Thu Aug 27 11:53:45 1998 +0200
1.2 +++ b/build Thu Aug 27 13:52:46 1998 +0200
1.3 @@ -93,13 +93,16 @@
1.4 echo
1.5 echo "Please check $ISABELLE_HOME/etc/settings"
1.6 [ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
1.7 - echo "to make sure that Isabelle's ML system settings are appropriate."
1.8 + echo "to make sure that Isabelle's ML system settings and compilation options"
1.9 + echo "are appropriate."
1.10 echo
1.11 - echo "Your current values are:"
1.12 + echo "The current values are:"
1.13 echo
1.14 echo " ML_SYSTEM=$ML_SYSTEM"
1.15 echo " ML_HOME=$ML_HOME"
1.16 echo " ML_OPTIONS=$ML_OPTIONS"
1.17 + echo
1.18 + echo " ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
1.19 fi
1.20
1.21