diff options
author | Karl Heuer <kwzh@gnu.org> | 1994-05-02 20:56:25 +0000 |
---|---|---|
committer | Karl Heuer <kwzh@gnu.org> | 1994-05-02 20:56:25 +0000 |
commit | 9860e3256cdff90f7bd1b17cb6c462785f0dd9ac (patch) | |
tree | 02a4e90024ed09a21b33722327535afae39d29b1 /lib-src/Makefile.in | |
parent | 204ea69ddc49bbe5f13a10255c458b792b2d7e3e (diff) | |
download | emacs-9860e3256cdff90f7bd1b17cb6c462785f0dd9ac.tar.gz |
(${archlibdir}): Be lenient about wc output format.
Diffstat (limited to 'lib-src/Makefile.in')
-rw-r--r-- | lib-src/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib-src/Makefile.in b/lib-src/Makefile.in index bd1b0be4d44..da5e40e9134 100644 --- a/lib-src/Makefile.in +++ b/lib-src/Makefile.in @@ -181,11 +181,11 @@ ${archlibdir}: all BLESSMAIL #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 |