From ad0dd7372414d2f44ccb26adbea96002afc79c04 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Mon, 20 Aug 2007 21:55:52 +0000
Subject: [PATCH] plugin-defs.mk: Add INSTALLED_PLUGIN_VERSION_LIB (which is
 currently unused)

---
 make/plugin-defs.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make/plugin-defs.mk b/make/plugin-defs.mk
index 2e1f33e0..27f17e8b 100644
--- a/make/plugin-defs.mk
+++ b/make/plugin-defs.mk
@@ -13,6 +13,7 @@ PLUGIN                 ?= $(PLUGIN_PREFIX)_$(PLUGIN_API)_$(PLUGIN_NAME).$(PLUGIN
 
 PLUGIN_VERSION_LIB_BASENAME = $(PLUGIN_PREFIX)_$(PLUGIN_API)_version
 PLUGIN_VERSION_LIB      = $(LIBDIR)/lib$(PLUGIN_VERSION_LIB_BASENAME).a
+INSTALLED_PLUGIN_VERSION_LIB = $(INSTALL_LIBDIR)/lib$(PLUGIN_VERSION_LIB_BASENAME).a
 
 CFLAGS                 += -D PLUGIN_NAME_STR=\"$(PLUGIN_NAME)\"
 CPPFLAGS               += -D PLUGIN_NAME_STR=\"$(PLUGIN_NAME)\"