# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 767912185 0
# Node ID d14d537ce03c8a2885512aecead1511e647b4933
# Parent  120470ed3960ef927be68e992ad0bed11c416511
(${archlibdir}): Be lenient about wc output format.

diff -r 120470ed3960 -r d14d537ce03c lib-src/Makefile.in
--- 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