diff -r c2a90e8b4831 -r fee689b7d813 build --- a/build Fri Mar 07 14:51:50 1997 +0100 +++ b/build Fri Mar 07 14:52:19 1997 +0100 @@ -26,7 +26,8 @@ $ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS echo -echo "RETURN starts compilation of: $LOGICS" +echo +echo "Press RETURN to start compilation of: $LOGICS" read