bde 6260b0fe20 Use ${ECHO} instead of echo' so that make -s' is fairly quiet. ... The END.		1994-08-28 17:48:43 +00:00
..
Makefile	Use ${ECHO} instead of echo' so that make -s' is fairly quiet.	1994-08-28 17:48:43 +00:00