diff lib-src/Makefile.in @ 8376:b84147ed033d

(${archlibdir}): Compare the proper dir before installing the scripts.
author Richard M. Stallman <rms@gnu.org>
date Fri, 29 Jul 1994 20:33:17 +0000
parents 5102144886de
children 1452c72d18db
line wrap: on
line diff
--- a/lib-src/Makefile.in	Fri Jul 29 20:00:00 1994 +0000
+++ b/lib-src/Makefile.in	Fri Jul 29 20:33:17 1994 +0000
@@ -199,6 +199,9 @@
 	  for file in ${UTILITIES}; do \
 	    (cd ..; $(INSTALL_PROGRAM) lib-src/$$file ${archlibdir}/$$file) ; \
 	  done ; \
+        fi
+        if [ `(cd ${archlibdir} && /bin/pwd)` \
+             != `(cd ${srcdir} && /bin/pwd)` ]; then \
 	  for file in ${SCRIPTS}; do \
 	    (cd ..; $(INSTALL_PROGRAM) ${srcdir}/$$file ${archlibdir}/$$file); \
 	  done ; \