# HG changeset patch # User Jim Blandy # Date 738572113 0 # Node ID 1ec39f8a42ac446d1544770e761070cd4df251d6 # Parent a3007f83650cbf73f7883cf33691e957aa912f31 * Makefile.in (do-install): Correctly detect if ./etc and ${srcdir}/etc are the same. diff -r a3007f83650c -r 1ec39f8a42ac Makefile.in --- a/Makefile.in Fri May 28 06:50:23 1993 +0000 +++ b/Makefile.in Fri May 28 06:55:13 1993 +0000 @@ -344,7 +344,7 @@ rm -f $${subdir}/*~ ; \ done) ; \ done - -[ `(cd etc; /bin/pwd)` != `(cd ${etcdir}; /bin/pwd)` ] \ + -[ `(cd etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ] \ && (echo "Copying ./etc..." ; \ (cd ./etc; tar cf - . )|(cd ${etcdir}; umask 0; tar xvf - ); \ for subdir in `find ${etcdir} -type d ! -name RCS -print` ; do \