From 00c74c80c217446bbef7b3c5a292b0e708f7a4c6 Mon Sep 17 00:00:00 2001 From: gerald Date: Thu, 17 Jun 2004 21:39:17 +0000 Subject: Use ${ECHO} instead of echo. --- lang/gcc45/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lang/gcc45') diff --git a/lang/gcc45/Makefile b/lang/gcc45/Makefile index dcbaba76d9a4..e6ba233c9e93 100644 --- a/lang/gcc45/Makefile +++ b/lang/gcc45/Makefile @@ -110,9 +110,9 @@ pre-configure: @${MKDIR} ${CONFIGURE_WRKSRC} post-build: - @echo "Consider running 'make check' before 'make install'," - @echo "especially if you have not built port on -STABLE or -CURRENT." - @echo "This assumes that you have the dejagnu port installed." + @${ECHO} "Consider running 'make check' before 'make install', especially + @${ECHO} "if you have not performed this build on -STABLE or -CURRENT." + @${ECHO} "This assumes that you have the dejagnu port installed." check: build cd ${WRKSRC}; export RUNTESTFLAGS='--target_board ''unix{-pthread}'''; ${GMAKE} -sk check -- cgit