build
changeset 2761 fee689b7d813
parent 2755 9a7128d9722e
child 2775 7a4989d685d6
     1.1 --- a/build	Fri Mar 07 14:51:50 1997 +0100
     1.2 +++ b/build	Fri Mar 07 14:52:19 1997 +0100
     1.3 @@ -26,7 +26,8 @@
     1.4  $ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
     1.5  
     1.6  echo
     1.7 -echo "RETURN starts compilation of: $LOGICS"
     1.8 +echo
     1.9 +echo "Press RETURN to start compilation of: $LOGICS"
    1.10  read
    1.11  
    1.12