changeset 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 46b6425cf980
children 4ac21edb9f78
files lib-src/Makefile.in
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
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 ; \