skip `libtool --finish' if DESTDIR is set

Merge to 5.2.1
(cherry picked from commit 45d72785de)
This commit is contained in:
Matthew Flatt 2012-01-12 06:55:09 -07:00 committed by Ryan Culpepper
parent 132a46f671
commit 110283109a

View File

@ -94,7 +94,9 @@ install-no:
$(NOOP)
lib-finish:
@LIBFINISH@ "$(libdir)"
if [ "$(DESTDIR)" = "" ]; then \
@LIBFINISH@ "$(libdir)"; \
fi
no-run:
$(NOOP)