# HG changeset patch
# User wenzelm
# Date 857742739 -3600
# Node ID fee689b7d813078cd56cb318be86ee1b82daa4eb
# Parent  c2a90e8b4831feaed77b93384681f91ef594e760
tuned comment;

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