diff options
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a24e40f1236..3b66db4e8c5 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -539,7 +539,8 @@ install-arch-indep: info install-etc install-leim | |||
| 539 | for dir in ${COPYDIR} ; do \ | 539 | for dir in ${COPYDIR} ; do \ |
| 540 | [ -d $${dir} ] || exit 1 ; \ | 540 | [ -d $${dir} ] || exit 1 ; \ |
| 541 | dest=$$1 ; shift ; \ | 541 | dest=$$1 ; shift ; \ |
| 542 | [ `(cd $${dest} && /bin/pwd)` = `(cd $${dir} && /bin/pwd)` ] && \ | 542 | [ -d $${dest} ] && \ |
| 543 | [ `(cd $${dest} && /bin/pwd)` = `(cd $${dir} && /bin/pwd)` ] && \ | ||
| 543 | continue ; \ | 544 | continue ; \ |
| 544 | rm -rf $${dest} ; \ | 545 | rm -rf $${dest} ; \ |
| 545 | umask 022; ${MKDIR_P} $${dest} ; \ | 546 | umask 022; ${MKDIR_P} $${dest} ; \ |