# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1510332681 18000
# Node ID 18cde9ba832aa33862d417a445bbb06c1a4817a8
# Parent  be0b035366c13dd2df01f5dcb01fbbaded8f9ec0
libproxy: fix installed .dll.a file name

diff -r be0b035366c1 -r 18cde9ba832a src/libproxy.mk
--- a/src/libproxy.mk	Fri Nov 10 07:04:58 2017 -0500
+++ b/src/libproxy.mk	Fri Nov 10 11:51:21 2017 -0500
@@ -28,9 +28,11 @@
     $(MAKE) -C '$(1)' -j '$(JOBS)' VERBOSE=1
     $(MAKE) -C '$(1)' -j '1' VERBOSE=1 DESTDIR='$(3)' install
 
+    ## Note error in installed .dll.a file name.
     if [ $(MXE_SYSTEM) = mingw ]; then \
         $(INSTALL) -d '$(3)$(HOST_BINDIR)'; \
         $(INSTALL) '$(3)$(HOST_LIBDIR)/libproxy.dll' '$(3)$(HOST_BINDIR)/'; \
         rm -f '$(3)$(HOST_LIBDIR)/libproxy.dll'; \
+        mv '$(3)$(HOST_LIBDIR)/liblibproxy.dll.a' '$(3)$(HOST_LIBDIR)/libproxy.dll.a'; \
     fi
 endef