|
|
@@ -0,0 +1,12 @@
|
|
|
+Index: config/mkmainlib.inc
|
|
|
+--- config/mkmainlib.inc.orig 2004-01-26 14:30:23.000000000 +0100
|
|
|
++++ config/mkmainlib.inc 2004-02-12 09:08:24.000000000 +0100
|
|
|
+@@ -28,7 +28,7 @@
|
|
|
+ @-if test "$(WITH_SHARED)" = "no"; then \
|
|
|
+ cp .libs/$(MAINLIBNAME) .libs/$(MAINLIBNAME)i;\
|
|
|
+ fi
|
|
|
+- $(LIBTOOL) $(INSTALL_DATA) $(MAINLIBNAME) $(libdir);
|
|
|
++ $(LIBTOOL) --mode=install $(INSTALL_DATA) $(MAINLIBNAME) $(libdir);
|
|
|
+ @-if test "$(WITH_SHARED)" = "yes"; then \
|
|
|
+ $(LIBTOOL) -n --finish $(libdir);\
|
|
|
+ else\
|