From b7e1feeab6f88af3ebccbde6080e85c3cae8b340 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 18 May 2012 00:34:10 -0700
Subject: [PATCH] * Makefile.in (install-arch-indep): Minor fix for earlier
change.
---
Makefile.in | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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
for dir in ${COPYDIR} ; do \
[ -d $${dir} ] || exit 1 ; \
dest=$$1 ; shift ; \
- [ `(cd $${dest} && /bin/pwd)` = `(cd $${dir} && /bin/pwd)` ] && \
+ [ -d $${dest} ] && \
+ [ `(cd $${dest} && /bin/pwd)` = `(cd $${dir} && /bin/pwd)` ] && \
continue ; \
rm -rf $${dest} ; \
umask 022; ${MKDIR_P} $${dest} ; \
--
2.39.5