changeset 7281:d14d537ce03c

(${archlibdir}): Be lenient about wc output format.
author Karl Heuer <kwzh@gnu.org>
date Mon, 02 May 1994 20:56:25 +0000
parents 120470ed3960
children 2bc4929691e9
files lib-src/Makefile.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib-src/Makefile.in	Mon May 02 19:40:19 1994 +0000
+++ b/lib-src/Makefile.in	Mon May 02 20:56:25 1994 +0000
@@ -181,11 +181,11 @@
 #ifdef MOVEMAIL_NEEDS_BLESSING
 /* Don't charge ahead and do it!  Let the installer decide.
 	  ./blessmail ${archlibdir}/movemail  */
-	@if [ "`wc -l blessmail`" != "      2 blessmail" ] ; then \
+	@if [ `wc -l <blessmail` != 2 ] ; then \
 	  dir=`sed -n -e 's/echo mail directory = \(.*\)/\1/p' blessmail`; \
 	  echo Assuming $$dir is really the mail spool directory, you should; \
 	  echo run  ./blessmail ${archlibdir}/movemail; \
-	  echo as root, to make  movemail  setuid or setgid.; \
+	  echo as root, to give  movemail  appropriate permissions.; \
 	fi
 #endif