Patch 1673122: be explicit about which libtool to use, to avoid name clashes

when a users install GNU libtool early in his PATH

diff --git a/Makefile.pre.in b/Makefile.pre.in
index 1452398849605f6361ce80704bc4ecf0a383b558..e2082d96f410e9b98b7fba7c16ec19da77070715 100644 (file)
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -392,7 +392,7 @@ $(PYTHONFRAMEWORKDIR)/Versions/$(VERSION)/$(PYTHONFRAMEWORK): \
                        -compatibility_version $(VERSION) \
                        -current_version $(VERSION); \
         else \
-               libtool -o $(LDLIBRARY) -dynamic $(OTHER_LIBTOOL_OPT) $(LIBRARY) \
+               /usr/bin/libtool -o $(LDLIBRARY) -dynamic $(OTHER_LIBTOOL_OPT) $(LIBRARY) \
                        @LIBTOOL_CRUFT@ ;\
        fi
        $(INSTALL) -d -m $(DIRMODE)  \