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 1452398..e2082d9 100644
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -392,7 +392,7 @@
-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) \