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 | d38bb695cc20902ad5942840cbb173465170a31d (patch) | |
| tree | 4cc4aeb204178cbba6e018882eff2a24008442f1 /lib-src/Makefile.in | |
| parent | 69e610ac11874996d6b0034e26b185b5474850f2 (diff) | |
| download | emacs-d38bb695cc20902ad5942840cbb173465170a31d.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 |