changeset 3184:29de1b20b68b

(do-install): Add `shift' command.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 May 1993 23:57:41 +0000
parents c7ae5e66a98c
children 075d14ca4436
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu May 27 23:50:38 1993 +0000
+++ b/Makefile.in	Thu May 27 23:57:41 1993 +0000
@@ -327,6 +327,7 @@
 	   if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \
 	     rm -rf $$1 ; \
 	   fi ; \
+	   shift ; \
 	 done
 	-set ${COPYDESTS} ; \
 	 mkdir ${COPYDESTS} ; \