tuned comment;
authorwenzelm
Fri Mar 07 14:52:19 1997 +0100 (1997-03-07 ago)
changeset 2761fee689b7d813
parent 2760 c2a90e8b4831
child 2762 2ade3a141934
tuned comment;
build
     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