From 110283109a1a5a6fa9de9123d533f5d3930bd560 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 12 Jan 2012 06:55:09 -0700
Subject: [PATCH] skip `libtool --finish' if DESTDIR is set

Merge to 5.2.1
(cherry picked from commit 45d72785de1e6d7458a7305443a246dc1e4ed596)
---
 src/Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index a49b16a388..c659147437 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -94,7 +94,9 @@ install-no:
 	$(NOOP)
 
 lib-finish:
-	@LIBFINISH@ "$(libdir)"
+	if [ "$(DESTDIR)" = "" ]; then \
+	  @LIBFINISH@ "$(libdir)"; \
+	fi
 
 no-run:
 	$(NOOP)