diff options
| author | Jim Blandy | 1993-05-28 06:55:13 +0000 |
|---|---|---|
| committer | Jim Blandy | 1993-05-28 06:55:13 +0000 |
| commit | 65607c1f5252ab07633ce84030d27de3dff5de7e (patch) | |
| tree | e73028169cecb2cd9192b9b2f86a189faed71375 | |
| parent | c82ed7283a2bcc9264e93dda3b832d6189b4d331 (diff) | |
| download | emacs-65607c1f5252ab07633ce84030d27de3dff5de7e.tar.gz emacs-65607c1f5252ab07633ce84030d27de3dff5de7e.zip | |
* Makefile.in (do-install): Correctly detect if ./etc and
${srcdir}/etc are the same.
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 8ef2d188960..65f4ccc6e62 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -344,7 +344,7 @@ do-install: mkdir | |||
| 344 | rm -f $${subdir}/*~ ; \ | 344 | rm -f $${subdir}/*~ ; \ |
| 345 | done) ; \ | 345 | done) ; \ |
| 346 | done | 346 | done |
| 347 | -[ `(cd etc; /bin/pwd)` != `(cd ${etcdir}; /bin/pwd)` ] \ | 347 | -[ `(cd etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ] \ |
| 348 | && (echo "Copying ./etc..." ; \ | 348 | && (echo "Copying ./etc..." ; \ |
| 349 | (cd ./etc; tar cf - . )|(cd ${etcdir}; umask 0; tar xvf - ); \ | 349 | (cd ./etc; tar cf - . )|(cd ${etcdir}; umask 0; tar xvf - ); \ |
| 350 | for subdir in `find ${etcdir} -type d ! -name RCS -print` ; do \ | 350 | for subdir in `find ${etcdir} -type d ! -name RCS -print` ; do \ |