tuned;
authorwenzelm
Thu Aug 27 13:52:46 1998 +0200 (1998-08-27)
changeset 53864325d853494a
parent 5385 8fc3828fdc8a
child 5387 8f1157817bb6
tuned;
added ISABELLE_USEDIR_OPTIONS;
build
     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