Review

- Restore accidental fix of installation of native code stub libraries!
  (this fix should happen, but not as part of this work)

Author: dra27

otherlibs/Makefile.otherlibs.common

@@ -131,6 +131,9 @@ installopt:
 	if test -f $(LIBNAME).cmxs; then \
 	  $(INSTALL_PROG) $(LIBNAME).cmxs "$(INSTALL_LIBDIR_LIBNAME)"; \
 	fi
+ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true"
+	$(INSTALL_PROG) dll$(CLIBNAME_NATIVE)$(EXT_DLL) "$(INSTALL_STUBLIBDIR)"
+endif
 ifneq "$(STUBSLIB_NATIVE)" ""
 	$(INSTALL_DATA) $(STUBSLIB_NATIVE) "$(INSTALL_LIBDIR)/"
 endif